Information for RPM texlive-drv-11:svn29349.0.97-71.fc41.noarch.rpm
| ID | 9251 | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-71.fc41 | |||||||||||||||||||||
| Name | texlive-drv | |||||||||||||||||||||
| Version | svn29349.0.97 | |||||||||||||||||||||
| Release | 71.fc41 | |||||||||||||||||||||
| 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 | 2024-04-25 04:32:39 GMT | |||||||||||||||||||||
| Size | 28.76 KB | |||||||||||||||||||||
| e8bbe033c6408ff58a88606fee21d1c3 | ||||||||||||||||||||||
| License | LPPL-1.3c | |||||||||||||||||||||
| Buildroot | f41-build-16326-578 | |||||||||||||||||||||
| Provides |
|
|||||||||||||||||||||
| Obsoletes | No Obsoletes | |||||||||||||||||||||
| Conflicts | No Conflicts | |||||||||||||||||||||
| Requires |
|
|||||||||||||||||||||
| Recommends | No Recommends | |||||||||||||||||||||
| Suggests | No Suggests | |||||||||||||||||||||
| Supplements | No Supplements | |||||||||||||||||||||
| Enhances | No Enhances | |||||||||||||||||||||
| Files |
|
|||||||||||||||||||||
| Component of |
|
|||||||||||||||||||||
