| ID | 113503 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-76.fc42 | ||||||||
| Name | texlive-gene-logic | ||||||||
| Version | svn15878.1.4 | ||||||||
| Release | 76.fc42 | ||||||||
| Epoch | 11 | ||||||||
| Arch | noarch | ||||||||
| Draft | False | ||||||||
| Summary | Typeset logic formulae, etc | ||||||||
| Description | The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, a newtheorem-like environment (NewTheorem), and several macros. | ||||||||
| Build Time | 2025-01-29 15:44:48 GMT | ||||||||
| Size | 10.07 KB | ||||||||
| 24f38c2665b076ef861101a97f6cc91e | |||||||||
| License | Crossword | ||||||||
| 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 | ||||||||
