Package: pps-tools Severity: normal Hi,
It would be great to split the header file from the 'pps-tools' package. I maintain a package (chrony) which can be enhanced by providing PPSAPI support (RFC 2783), but currently I have no choice but to build-depend on the whole thing which is cumbersome. Also, more packages could benefit from this split, ntp and gpsd are among them. Have a good day, Vincent -- System Information: Debian Release: 8.0 APT prefers stable APT policy: (990, 'stable'), (500, 'stable-updates'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores) Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
