| ID | 13424 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-71.fc41 | ||||||||
| Name | texlive-semantic | ||||||||
| Version | svn15878.2.0 | ||||||||
| Release | 71.fc41 | ||||||||
| Epoch | 11 | ||||||||
| Arch | noarch | ||||||||
| Draft | False | ||||||||
| Summary | Help for writing programming language semantics | ||||||||
| Description | Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees. | ||||||||
| Build Time | 2024-04-25 04:32:39 GMT | ||||||||
| Size | 19.81 KB | ||||||||
| 3afa15dab97d12049351b25ec69d5222 | |||||||||
| 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 | No Buildroots |
