PN: texinfo
PV: 6.8
PR: r0
PKGV: 6.8
PKGR: r0.0
LICENSE: GPL-3.0-or-later
DESCRIPTION:texinfo-staticdev: Texinfo is a documentation system that can produce both online information and printed output from a single source file. The GNU Project uses the Texinfo file format for most of its documentation.  This package contains static libraries for software development.
SUMMARY:texinfo-staticdev: Documentation system for on-line information and printed output - Development files (Static Libraries)
RDEPENDS:texinfo-staticdev: texinfo-dev (= 6.8-r0.0)
SECTION:texinfo-staticdev: devel
PKG:texinfo-staticdev: texinfo-staticdev
FILES:texinfo-staticdev: /usr/lib/*.a /lib/*.a /usr/lib/texinfo/*.a
FILES_INFO:texinfo-staticdev: {}
PKGSIZE:texinfo-staticdev: 0
