Package details
| Package | pps-tools-dev |
|---|---|
| Version | 1.0.2-r1 |
| Description | User-space tools for LinuxPPS (development files) |
| Project | https://github.com/redlab-i/pps-tools |
| License | GPL-2.0-or-later |
| Branch | v3.15 |
| Repository | community |
| Architecture | s390x |
| Size | 3.4KiB |
| Installed size | 24.0KiB |
| Origin | pps-tools |
| Maintainer | Sodface |
| Build time | 2021-11-13 19:17:04 |
| Commit | 82ad58c68ade03071af0f7b7a18d0996f54e4818 | Merge request | 27417 |
| Git repository | Git repository |
| Build log | Build log |
| Contents | Contents of package |