PN: pps-tools
PV: 1.0.2
PR: r0
PKGV: 1.0.2
PKGR: r0
LICENSE: GPLv2
DESCRIPTION_pps-tools-doc: User-space tools for LinuxPPS.  This package contains documentation.
SUMMARY_pps-tools-doc: User-space tools for LinuxPPS - Documentation files
RRECOMMENDS_pps-tools-doc: pps-tools-lic
SECTION_pps-tools-doc: doc
PKG_pps-tools-doc: pps-tools-doc
FILES_pps-tools-doc: /usr/share/doc /usr/share/man /usr/share/info /usr/share/gtk-doc             /usr/share/gnome/help
FILES_INFO: {}
PKGSIZE_pps-tools-doc: 0
