| ID | 8907 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-71.fc41 | ||||||||||||
| Name | texlive-prftree | ||||||||||||
| Version | svn54080 | ||||||||||||
| Release | 71.fc41 | ||||||||||||
| Epoch | 11 | ||||||||||||
| Arch | noarch | ||||||||||||
| Draft | False | ||||||||||||
| Summary | Macros for building proof trees | ||||||||||||
| Description | A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar. | ||||||||||||
| Build Time | 2024-04-25 04:32:39 GMT | ||||||||||||
| Size | 25.58 KB | ||||||||||||
| 93e2e084c245ecebd2a4d342be5f7bec | |||||||||||||
| License | GPL-1.0-or-later | ||||||||||||
| 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 |
|
||||||||||||
