ID | 9776 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | texlive-2023-71.fc41 | ||||||||||||
Name | texlive-gene-logic | ||||||||||||
Version | svn15878.1.4 | ||||||||||||
Release | 71.fc41 | ||||||||||||
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-04-25 04:32:39 GMT | ||||||||||||
Size | 11.13 KB | ||||||||||||
01312dbeb9004e712a71c7e6537830ed | |||||||||||||
License | Crossword | ||||||||||||
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 |
|