PN: texinfo
PV: 7.0.3
PR: r0
PKGV: 7.0.3
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 (= 7.0.3-r0.0)
SECTION:texinfo-staticdev: devel
PKG:texinfo-staticdev: texinfo-staticdev
FILES:texinfo-staticdev: /usr/lib/*.a /usr/lib/*.a /usr/lib/texinfo/*.a
FILES_INFO:texinfo-staticdev: {}
PKGSIZE:texinfo-staticdev: 0
