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