PN: texinfo PV: 6.7 PR: r0 PKGV: 6.7 PKGR: r0 LICENSE: GPLv3+ 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.7-r0) SECTION_texinfo-staticdev: devel PKG_texinfo-staticdev: texinfo-staticdev FILES_texinfo-staticdev: /usr/lib/*.a /lib/*.a /usr/lib/texinfo/*.a FILES_INFO: {} PKGSIZE_texinfo-staticdev: 0