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

texlive-drv-29349-2 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-drv Distribution: OpenMandriva Lx
Version: 29349 Vendor: OpenMandriva
Release: 2 Build date: Sun Oct 27 00:19:33 2024
Group: Publishing Build host: altra-3.openmandriva.org
Size: 685397 Source RPM: texlive-drv-29349-2.src.rpm
Packager: bero_massbuild <bero+massbuild@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/doc/metapost/drv/README
/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/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/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/drv/drv.mp

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Jan 31 23:29:32 2025