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
Depends (0)
Required by (0)
Sub Packages (1)
Provides (0)
Install if (0)