Package: pps-tools Architecture: amd64 Version: 1.0.2-1 Priority: extra Section: universe/devel Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Bernd Zeimetz <bzed@debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 65 Depends: libc6 (>= 2.4) Filename: pool/universe/p/pps-tools/pps-tools_1.0.2-1_amd64.deb Size: 12936 MD5sum: 10c7b852acf7f50485b95f71f042a06d SHA1: e4070c4eef6e7940915b2c57f730289802d1a35d SHA256: e591cfc50c351883ea65396ebaea3e14b02498b59e732e87ba24212378d6954f Homepage: https://github.com/redlab-i/pps-tools Description: LinuxPPS support tools and headers Description-md5: 46812d461b1f21479ea487afafa924d4