Package - pps-tools

Package:  pps-tools
apt-get install pps-tools
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/p/pps-tools/pps-tools_1.0.2-2_amd64.deb (Size: 13.0KiB)

PropertyValue
Packagepps-tools
Version1.0.2-2
Installed-Size88
MaintainerBernd Zeimetz
Architectureamd64
Dependslibc6 (>= 2.4)
DescriptionLinuxPPS support tools and headers
Description-md546812d461b1f21479ea487afafa924d4
Homepagehttps://github.com/redlab-i/pps-tools
Sectiondevel
Priorityoptional
Filenamepool/main/p/pps-tools/pps-tools_1.0.2-2_amd64.deb
Size13292
MD5sum784a49886624d2a6c123613290b9cc72
SHA256cd1c922a78f8be0bc7b11b49d59ef3f94c4d71ef4b0570f0ee62f73d226f95f3

Files in package

  • /usr/bin/ppsctl
  • /usr/bin/ppsfind
  • /usr/bin/ppsldisc
  • /usr/bin/ppstest
  • /usr/bin/ppswatch
  • /usr/include/sys/timepps.h
  • /usr/share/doc/pps-tools/changelog.Debian.gz
  • /usr/share/doc/pps-tools/copyright
  • /usr/share/man/man8/pps-tools.8.gz
  • /usr/share/man/man8/ppsctl.8.gz
  • /usr/share/man/man8/ppsfind.8.gz
  • /usr/share/man/man8/ppsldisc.8.gz
  • /usr/share/man/man8/ppstest.8.gz
  • /usr/share/man/man8/ppswatch.8.gz