Package: pps-tools
Priority: extra
Section: universe/devel
Installed-Size: 82
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Bernd Zeimetz <bzed@debian.org>
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
Supported: 9m