PN: pps-tools
PV: 1.0.2
PR: r0
PKGV: 1.0.2
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 (= 1.0.2-r0)
RRECOMMENDS_pps-tools-dev: pps-tools-lic bash-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 /usr/lib/cmake /usr/share/cmake
FILES_INFO: {"/usr/include/sys/timepps.h": 5928}
PKGSIZE_pps-tools-dev: 5928
