PN: pps-tools
PV: 1.0.3
PR: r0
PKGV: 1.0.3
PKGR: r0.5
LICENSE: GPL-2.0-only
DESCRIPTION:pps-tools-doc: User-space tools for LinuxPPS.  This package contains documentation.
SUMMARY:pps-tools-doc: User-space tools for LinuxPPS - Documentation files
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:pps-tools-doc: {}
PKGSIZE:pps-tools-doc: 0
