Wed, 25 Dec 2024 08:12:17 UTC | login

Information for RPM texlive-bussproofs-7:svn27488.1.1-17.fc29.noarch.rpm

ID239932
Nametexlive-bussproofs
Versionsvn27488.1.1
Release17.fc29
Epoch7
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 Time2018-07-15 15:47:37 GMT
Size32.79 KB
ded7110f07927e641ae9329429f18cd6
LicenseLPPL 1.3
Provides
tex(bussproofs.sty) = 2017
tex-bussproofs = 2017
texlive-bussproofs = 7:svn27488.1.1-17.fc29
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