Ubuntu
pps-tools package

pps-tools 1.0.2-1 source package in Ubuntu

Changelog

pps-tools (1.0.2-1) unstable; urgency=medium

  * [efb1ff7] Merge branch 'master' into debian
    Updating to 1.0.2 (Closes: #889185, Thanks to
    Steve Langasek and Alexander Gerasiov).

 -- Bernd Zeimetz <email address hidden>  Sun, 04 Feb 2018 01:05:11 +0100

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe devel
Bionic release universe devel

Downloads

File Size SHA-256 Checksum
pps-tools_1.0.2-1.dsc 1.8 KiB f0eefeffda627f2a7955a556e166e307d11c1e6f9f692cf58c01f9bdfb6ab3c2
pps-tools_1.0.2.orig.tar.gz 12.4 KiB 1a7efd66152e5439b69143f1f380b40ac5decbbbef516b37a017410b8ba7dff4
pps-tools_1.0.2-1.debian.tar.xz 3.0 KiB 5a28f0a41b4966287d1dbbce550573ca3f63283b8820a78596b4837e9a5a09d5

No changes file available.

Binary packages built by this source

pps-tools: LinuxPPS support tools and headers

 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

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