Fedora Packages

texlive-drv Subpackage of texlive

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.

Releases Overview

Release Stable Testing
Fedora Rawhide svn29349.0.97-74.fc42 -
Fedora 41 svn29349.0.97-73.fc41 -
Fedora 40 svn29349.0.97-71.fc40 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at texlive dash maintainers at fedoraproject dot org.



Sources on Pagure