Sun, 08 Dec 2019 18:48:38 UTC

Information for RPM texlive-bussproofs-9:svn27488.1.1-9.fc32.noarch.rpm

ID19766334
Nametexlive-bussproofs
Versionsvn27488.1.1
Release9.fc32
Epoch9
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-12-02 22:38:16 GMT
Size28631
64b70ee8e14cb5d0922f71f367eb6ed5
LicenseLPPL 1.3
Buildrootf32-build-18402103-1309686
Provides
tex(bussproofs.sty) = 2019
tex-bussproofs = 2019
texlive-bussproofs = 9:svn27488.1.1-9.fc32
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
/usr/share/licenses/texlive-bussproofs/lppl1.3.txt19106
/usr/share/texlive/texmf-dist/tex/latex/bussproofs0
/usr/share/texlive/texmf-dist/tex/latex/bussproofs/bussproofs.sty39833
Component of
1 through 6 of 6
Buildroot descending sort Created State
f32-build-18402179-1309727 2019-12-03 00:22:56 expired
f32-build-18402178-1309727 2019-12-03 00:22:56 expired
f32-build-18402177-1309727 2019-12-03 00:22:55 expired
f32-build-18402176-1309727 2019-12-03 00:21:55 expired
f32-build-18402175-1309727 2019-12-03 00:21:55 expired
f32-build-18402174-1309727 2019-12-03 00:21:54 expired