PN: pps-tools
PV: 1.0.3
PR: r0
PKGV: 1.0.3
PKGR: r0.50
LICENSE: GPL-2.0-only
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
RRECOMMENDS:pps-tools-dev: pps-tools (= 1.0.3-r0.50) 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 /usr/lib/lib*.so /usr/lib/lib*.so /usr/lib/*.la                 /usr/lib/*.o /usr/lib/pkgconfig /usr/share/pkgconfig                 /usr/share/aclocal /usr/lib/*.o                 /usr/lib/pps-tools/*.la /usr/lib/*.la                 /usr/lib/cmake /usr/share/cmake
FILES_INFO:pps-tools-dev: {"/usr/include/sys/timepps.h": 5903}
PKGSIZE:pps-tools-dev: 5903
