| ID | 111855 | ||||||
|---|---|---|---|---|---|---|---|
| Build | texlive-2023-76.fc42 | ||||||
| Name | texlive-bussproofs-extra | ||||||
| Version | svn51299 | ||||||
| Release | 76.fc42 | ||||||
| Epoch | 11 | ||||||
| Arch | noarch | ||||||
| Draft | False | ||||||
| Summary | Extra commands for bussproofs.sty | ||||||
| Description | This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions. | ||||||
| Build Time | 2025-01-29 15:44:48 GMT | ||||||
| Size | 235.08 KB | ||||||
| 95f4af203d6432cc209e6d266c413660 | |||||||
| License | LPPL-1.3c | ||||||
| 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 |
