Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-bussproofs-svn77682-2.fc45 RPM for noarch

From Fedora Rawhide for ppc64le / t

Name: texlive-bussproofs Distribution: Fedora Project
Version: svn77682 Vendor: Fedora Project
Release: 2.fc45 Build date: Wed Apr 29 21:59:51 2026
Group: Unspecified Build host: buildvm-x86-18.rdu3.fedoraproject.org
Size: 217250 Source RPM: texlive-collection-mathscience-svn78771-2.fc45.src.rpm
Packager: Fedora Project
Url: http://tug.org/texlive/
Summary: Proof trees in the style of the sequent calculus
 
The 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.

Provides

Requires

License

LPPL-1.3c

Changelog

* Wed Apr 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn78771-2
  - Update collection from svn77561 to svn78771
  - Add chempid
  - Add dnsrecord
  - Add fits-astro
  - Add glmatrix
  - Add mohelper
  - Add mystyletau
  - Add query-astro
  - Add quickderivs
  - Add register-transfer-level
  - Add statementsp
  - Update 70 components
* Tue Feb 10 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77561-2
  - Update to svn77561
* Thu Jan 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77507-1
  - update to svn77507, fix descriptions, licensing, update components
* Wed Oct 08 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-2
  - regen, no deps from docs
* Tue Sep 16 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-1
  - Update to TeX Live 2025

Files

/usr/share/licenses/texlive-bussproofs
/usr/share/licenses/texlive-bussproofs/lppl1.3c.txt
/usr/share/texlive/texmf-dist/doc/latex/bussproofs
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/BussGuide2.pdf
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/BussGuide2.tex
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/README.txt
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/testbp2.pdf
/usr/share/texlive/texmf-dist/doc/latex/bussproofs/testbp2.tex
/usr/share/texlive/texmf-dist/tex/latex/bussproofs
/usr/share/texlive/texmf-dist/tex/latex/bussproofs/bussproofs.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 21 00:13:59 2026