| Name : texlive-drv
| |
| Version : 2024.216.0.0.97svn29349
| Vendor : obs://build_opensuse_org/Publishing
|
| Release : lp156.212.2
| Date : 2024-07-25 15:18:04
|
| Group : Productivity/Publishing/TeX/Base
| Source RPM : texlive-specs-g-2024-lp156.212.2.src.rpm
|
| Size : 0.08 MB
| |
| Packager : https://www_suse_com/
| |
| Summary : Derivation trees with MetaPost
|
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.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/Publishing:/TeXLive/15.6/noarch |
