- Name: texlive-drv
- Version: svn29349.0.97
- Release: 20.fc18
- Epoch: 2
- Group: Applications/Publishing
- License: LPPL
- Url: http://tug.org/texlive/
- Summary: Derivation trees with MetaPost
- Architecture: noarch
- Size: 82163
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
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.
date: 2012-07-03 17:35:36 +0200
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic
- Cookie:
- Buildhost: buildvm-25.phx2.fedoraproject.org