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

texlive-drv-29349-1 RPM for noarch

From OpenMandriva Cooker for x86_64 / main / release

Name: texlive-drv Distribution: OpenMandriva Lx
Version: 29349 Vendor: OpenMandriva
Release: 1 Build date: Sat Nov 12 22:07:18 2022
Group: Publishing Build host: ryzen9-4.openmandriva.org
Size: 685397 Source RPM: texlive-drv-29349-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://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 Apr 26 23:03:45 2024