| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| 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.
LPPL
/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, Tue Feb 11 23:04:04 2025