Sun, 19 May 2024 05:51:08 UTC | login

Information for RPM texlive-bussproofs-8:svn27488.1.1-26.fc31.noarch.rpm

ID370198
Nametexlive-bussproofs
Versionsvn27488.1.1
Release26.fc31
Epoch8
Archnoarch
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 Time2019-06-21 14:49:21 GMT
Size28.71 KB
a4ca25479e7ef4370b49c147b3302b9c
LicenseLPPL 1.3
Provides
tex(bussproofs.sty) = 2018
tex-bussproofs = 2018
texlive-bussproofs = 8:svn27488.1.1-26.fc31
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(PayloadIsXz) <= 5.2-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