Wed, 29 Jan 2020 20:30:24 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
Size28,631
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.txt19,106
/usr/share/texlive/texmf-dist/tex/latex/bussproofs0
/usr/share/texlive/texmf-dist/tex/latex/bussproofs/bussproofs.sty39,833
Component of
1 through 6 of 6
Buildroot Created State ascending sort
f32-build-18402174-1309727 2019-12-03 00:21:54 expired
f32-build-18402175-1309727 2019-12-03 00:21:55 expired
f32-build-18402179-1309727 2019-12-03 00:22:56 expired
f32-build-18402176-1309727 2019-12-03 00:21:55 expired
f32-build-18402178-1309727 2019-12-03 00:22:56 expired
f32-build-18402177-1309727 2019-12-03 00:22:55 expired