| ID | 112782 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-76.fc42 | ||||||||||||
| Name | texlive-drv | ||||||||||||
| Version | svn29349.0.97 | ||||||||||||
| Release | 76.fc42 | ||||||||||||
| Epoch | 11 | ||||||||||||
| Arch | noarch | ||||||||||||
| Draft | False | ||||||||||||
| 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. | ||||||||||||
| Build Time | 2025-01-29 15:44:48 GMT | ||||||||||||
| Size | 27.70 KB | ||||||||||||
| 8117357f4d7e1ac43539cfe07755f27a | |||||||||||||
| License | LPPL-1.3c | ||||||||||||
| Provides |
|
||||||||||||
| Obsoletes | No Obsoletes | ||||||||||||
| Conflicts | No Conflicts | ||||||||||||
| Requires |
|
||||||||||||
| Recommends | No Recommends | ||||||||||||
| Suggests | No Suggests | ||||||||||||
| Supplements | No Supplements | ||||||||||||
| Enhances | No Enhances | ||||||||||||
| Files |
|
||||||||||||
| Component of | No Buildroots | ||||||||||||
