ID | 187670 | ||||||||
---|---|---|---|---|---|---|---|---|---|
Build | texlive-2023-71.fc40 | ||||||||
Name | texlive-gene-logic | ||||||||
Version | svn15878.1.4 | ||||||||
Release | 71.fc40 | ||||||||
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 | 2024-05-07 02:41:43 GMT | ||||||||
Size | 11.10 KB | ||||||||
af9f144d36ced5093a88b53292d1e172 | |||||||||
License | Crossword | ||||||||
Buildroot | f40-build-238028-8499 | ||||||||
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 |