Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-drv-0.97-29349.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-drv Distribution: OpenMandriva Lx
Version: 0.97 Vendor: OpenMandriva
Release: 29349.1 Build date: Sun Jul 12 05:20:15 2026
Group: Publishing Build host: altra-1.openmandriva.org
Size: 0 Source RPM: texlive-drv-0.97-29349.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/graphics/metapost/contrib/macros/drv
Summary: Derivation trees with MetaPost
 
A set of MetaPost macros for typesetting derivation trees (such as used
in sequent calculus, type inference, programming language semantics...).
No MetaPost knowledge is needed to use these macros.

Provides

Requires

License

lppl

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/metapost
/usr/share/texmf-dist/doc/metapost/drv
/usr/share/texmf-dist/doc/metapost/drv/README
/usr/share/texmf-dist/doc/metapost/drv/doc
/usr/share/texmf-dist/doc/metapost/drv/doc/drv-guide.mp
/usr/share/texmf-dist/doc/metapost/drv/doc/drv-guide.tex
/usr/share/texmf-dist/doc/metapost/drv/doc/drv.mp
/usr/share/texmf-dist/doc/metapost/drv/doc/makefile
/usr/share/texmf-dist/doc/metapost/drv/doc/readme.sh
/usr/share/texmf-dist/doc/metapost/drv/drv-guide.pdf
/usr/share/texmf-dist/doc/metapost/drv/sample
/usr/share/texmf-dist/doc/metapost/drv/sample/coq-sample.mp
/usr/share/texmf-dist/doc/metapost/drv/sample/coq-sample.tex
/usr/share/texmf-dist/doc/metapost/drv/sample/drv.mp
/usr/share/texmf-dist/doc/metapost/drv/sample/makefile
/usr/share/texmf-dist/doc/metapost/drv/sample/readme.sh
/usr/share/texmf-dist/doc/metapost/drv/template
/usr/share/texmf-dist/doc/metapost/drv/template/drv.mp
/usr/share/texmf-dist/doc/metapost/drv/template/makefile
/usr/share/texmf-dist/doc/metapost/drv/template/readme.sh
/usr/share/texmf-dist/doc/metapost/drv/template/template.mp
/usr/share/texmf-dist/doc/metapost/drv/template/template.tex
/usr/share/texmf-dist/metapost
/usr/share/texmf-dist/metapost/drv
/usr/share/texmf-dist/metapost/drv/drv.mp

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Aug 15 22:15:12 2026