pps-tools 0.20120406+g0deb9c7e-2 source package in Ubuntu

Changelog

pps-tools (0.20120406+g0deb9c7e-2) unstable; urgency=low


  * [29f982a0] Add missing include.

 -- Bernd Zeimetz <email address hidden>  Wed, 23 May 2012 21:31:41 +0200

Upload details

Uploaded by:
Bernd Zeimetz
Uploaded to:
Sid
Original maintainer:
Bernd Zeimetz
Architectures:
linux-any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe devel
Trusty release universe devel

Downloads

File Size SHA-256 Checksum
pps-tools_0.20120406+g0deb9c7e-2.dsc 1.8 KiB 6573a4fe5667c7b34a8e0721b824e87f508cc31d57ce5d7d49dd9b9959e0921b
pps-tools_0.20120406+g0deb9c7e.orig.tar.gz 13.2 KiB 0942ede69e10e8e9acd84fb7bffa3b858eb6ba618e777682c4416e8b92337c9d
pps-tools_0.20120406+g0deb9c7e-2.debian.tar.gz 3.5 KiB ea22a409a349c25443e5e4dfba58fd49f8bec2b24774297404f785b2fcdbdb98

No changes file available.

Binary packages built by this source

pps-tools: No summary available for pps-tools in ubuntu vivid.

No description available for pps-tools in ubuntu vivid.

pps-tools-dbgsym: debug symbols for package pps-tools

 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