PN: pps-tools
PV: 0.0.0+gitAUTOINC+0deb9c7e13
PR: r0
PKGV: 0.0.0+git0+0deb9c7e13
PKGR: r0
LICENSE: GPLv2
DESCRIPTION_pps-tools-dev: User-space tools for LinuxPPS.  This package contains symbolic links, header files, and related items necessary for software development.
SUMMARY_pps-tools-dev: User-space tools for LinuxPPS - Development files
RDEPENDS_pps-tools-dev: pps-tools (= 0.0.0+git0+0deb9c7e13-r0)
RRECOMMENDS_pps-tools-dev: glibc-dev
SECTION_pps-tools-dev: devel
PKG_pps-tools-dev: pps-tools-dev
ALLOW_EMPTY_pps-tools-dev: 1
FILES_pps-tools-dev: /usr/include /lib/lib*.so /usr/lib/lib*.so /usr/lib/*.la /usr/lib/*.o /usr/lib/pkgconfig /usr/share/pkgconfig /usr/share/aclocal /lib/*.o /usr/lib/pps-tools/*.la /lib/*.la
FILES_INFO: {"/usr/include/sys/timepps.h": 5908}
PKGSIZE_pps-tools-dev: 5908
