Package details
| Package | pps-tools-dev |
|---|---|
| Version | 1.0.3-r0 |
| Description | User-space tools for LinuxPPS (development files) |
| Project | https://github.com/redlab-i/pps-tools |
| License | GPL-2.0-or-later |
| Branch | edge |
| Repository | community |
| Architecture | armhf |
| Size | 3.2KiB |
| Installed size | 24.0KiB |
| Origin | pps-tools |
| Maintainer | Sodface |
| Build time | 2022-04-16 16:49:43 |
| Commit | 7b73f5a6ed0a443c3713f5916a0e4bd29068e158 | Merge request | 33296 |
| Git repository | Git repository |
| Build log | Build log |
| Issues | Open packaging issues |
| Contents | Contents of package |