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 | x86_64 |
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 |
Contents | Contents of package |