Information for RPM texlive-natded-11:svn32693.0.1-76.fc42.noarch.rpm
| ID | 575664 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-76.fc42 | ||||||||||||
| Name | texlive-natded | ||||||||||||
| Version | svn32693.0.1 | ||||||||||||
| Release | 76.fc42 | ||||||||||||
| Epoch | 11 | ||||||||||||
| Arch | noarch | ||||||||||||
| Draft | False | ||||||||||||
| Summary | Typeset natural deduction proofs | ||||||||||||
| Description | The package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague. | ||||||||||||
| Build Time | 2025-03-28 04:45:21 GMT | ||||||||||||
| Size | 17.03 KB | ||||||||||||
| ae94dd1a523b131e22a6d5ba43c6b542 | |||||||||||||
| 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 | ||||||||||||
