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 x86_64 / main / release

Name: texlive-drv Distribution: OpenMandriva Lx
Version: 0.97 Vendor: OpenMandriva
Release: 29349.1 Build date: Sun Jul 12 06:37:41 2026
Group: Publishing Build host: -B650M
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, Mon Aug 31 22:00:35 2026