pps-tools - 1.0.2-1 main

This package includes the necessary headers for using LinuxPPS PPSAPI
kernel interface in user-space applications and several support tools:
* ppstest: PPSAPI interface tester
* ppsldisc: setup correct RS232 line discipline
* ppswatch: continuously print PPS timestamps
* ppsctl: PPS device manager
* ppsfind: find pps device by name