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 | x86 |
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 |