fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for RPM texlive-bussproofs-11:svn54080-76.fc42.noarch.rpm

ID574406
Buildtexlive-2023-76.fc42
Nametexlive-bussproofs
Versionsvn54080
Release76.fc42
Epoch11
Archnoarch
DraftFalse
SummaryProof trees in the style of the sequent calculus
DescriptionThe package allows the construction of proof trees in the style of the sequent calculus and many other proof systems. One novel feature of the macros is they support the horizontal alignment according to some centre point specified with the command \fCenter. This is the style often used in sequent calculus proofs. The package works in a Plain TeX document, as well as in LaTeX; an exposition of the commands available is given in the package file itself.
Build Time2025-03-28 04:45:21 GMT
Size22.68 KB
3b3f46fff4e0a98977bb2d3a54817c6b
LicenseLPPL-1.3c
Buildrootf42-build-3443232-45454
Provides
tex(bussproofs.sty) = 2023
tex-bussproofs = 2023
texlive-bussproofs = 11:svn54080-76.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
tex-kpathsea
texlive-base
texlive-kpathsea-bin
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
/usr/share/licenses/texlive-bussproofs0.00 B
/usr/share/licenses/texlive-bussproofs/lppl1.3.txt18.66 KB
/usr/share/texlive/texmf-dist/tex/latex/bussproofs0.00 B
/usr/share/texlive/texmf-dist/tex/latex/bussproofs/bussproofs.sty38.90 KB
Component of No Buildroots