Package: pps-tools
Priority: extra
Section: universe/devel
Installed-Size: 88
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.0.3-0.1
Depends: libc6 (>= 2.38)
Filename: pool/universe/p/pps-tools/pps-tools_1.0.3-0.1_amd64.deb
Size: 13774
SHA512: 5f4ee0f7a6b958dd39d3c4c654dfb844059e68cb8d8e10128d30fa1e0df5d37ca71b8d31f128e4ef68d46ad84b7032fbdb4a57077104332702b2ffe6454702dc
Homepage: https://github.com/redlab-i/pps-tools
Description: LinuxPPS support tools and headers
Description-md5: 95ca1254b7ecb19e021bedb81c07d5d7
Original-Maintainer: Bernd Zeimetz <bzed@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug