Information for RPM texlive-semantic-11:svn15878.2.0-76.fc42.noarch.rpm
| ID | 576063 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-76.fc42 | ||||||||
| Name | texlive-semantic | ||||||||
| Version | svn15878.2.0 | ||||||||
| Release | 76.fc42 | ||||||||
| 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 | 2025-03-28 04:45:21 GMT | ||||||||
| Size | 18.62 KB | ||||||||
| 5821bde84d9d97069bdcdcfb7b2c795c | |||||||||
| License | LPPL-1.3c | ||||||||
| Buildroot | f42-build-3443232-45454 | ||||||||
| 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 |
