Package: pps-tools Priority: extra Section: universe/devel Installed-Size: 87 Maintainer: Ubuntu Developers Architecture: amd64 Version: 1.0.2-2build1 Depends: libc6 (>= 2.38) Filename: pool/universe/p/pps-tools/pps-tools_1.0.2-2build1_amd64.deb Size: 13548 MD5sum: 1472d1be7cd7c1814519597fc135f4f0 SHA1: 7315b10e2fe7acd192dedbc2d30f6bb0c07274e3 SHA256: 307d1003f98bcd1d3460717be8f2a988180341b8ec399964b9f4c1fa2d935965 SHA512: e4d25f8d3a16932fc519b18bfda8627321a2d733b389916c2b4145d95729928ddf925e37852c37ba4aa384aa857f8b251596179405e6910dd5a4089a7836fe72 Homepage: https://github.com/redlab-i/pps-tools Description: LinuxPPS support tools and headers Description-md5: 95ca1254b7ecb19e021bedb81c07d5d7 Original-Maintainer: Bernd Zeimetz Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug