Package: pps-tools Priority: extra Section: universe/devel Installed-Size: 82 Maintainer: Ubuntu Developers Original-Maintainer: Bernd Zeimetz Architecture: i386 Version: 0.20120406+g0deb9c7e-2 Depends: libc6 (>= 2.3.4) Filename: pool/universe/p/pps-tools/pps-tools_0.20120406+g0deb9c7e-2_i386.deb Size: 12642 MD5sum: 70e32afeb3062408537d2bab027632a6 SHA1: b14b6e000354108365186c7dc67910b1e3d0b3e9 SHA256: 89d0b26a55a69260c595cd3c447abd8e3e4c20d0c8bde0550d3fede9c38cd6ae Description: LinuxPPS support tools and headers Homepage: http://linuxpps.org Description-md5: 46812d461b1f21479ea487afafa924d4 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu