PN: pps-tools
PV: 0.0.0+gitAUTOINC+0deb9c7e13
PR: r0
PKGV: 0.0.0+git0+0deb9c7e13
PKGR: r0
LICENSE: GPLv2
DESCRIPTION_pps-tools-staticdev: User-space tools for LinuxPPS.  This package contains static libraries for software development.
SUMMARY_pps-tools-staticdev: User-space tools for LinuxPPS - Development files (Static Libraries)
RDEPENDS_pps-tools-staticdev: pps-tools-dev (= 0.0.0+git0+0deb9c7e13-r0)
SECTION_pps-tools-staticdev: devel
PKG_pps-tools-staticdev: pps-tools-staticdev
FILES_pps-tools-staticdev: /usr/lib/*.a /lib/*.a /usr/lib/pps-tools/*.a
FILES_INFO: {}
PKGSIZE_pps-tools-staticdev: 0
