Information for RPM texlive-bussproofs-extra-11:svn51299-73.fc41.noarch.rpm
ID | 1392905 | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Name | texlive-bussproofs-extra | |||||||||
Version | svn51299 | |||||||||
Release | 73.fc41 | |||||||||
Epoch | 11 | |||||||||
Arch | noarch | |||||||||
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 | 2024-08-01 15:09:51 GMT | |||||||||
Size | 235.73 KB | |||||||||
9e12782ad0bec485e914ed785ffbc609 | ||||||||||
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 |
|