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

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

From Fedora Rawhide for ppc64le / t

Name: texlive-ebproof 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: 537016 Source RPM: texlive-collection-mathscience-svn78771-2.fc45.src.rpm
Packager: Fedora Project
Url: http://tug.org/texlive/
Summary: Formal proofs in the style of sequent calculus
 
This package provides commands to typeset proof trees in the style of sequent
calculus and related systems. The commands allow for writing inferences with
any number of premises and alignment of successive formulas on an arbitrary
point. Various options allow complete control over spacing, styles of inference
rules, placement of labels, etc. The package requires expl3 and xparse.

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-ebproof
/usr/share/licenses/texlive-ebproof/lppl1.3c.txt
/usr/share/texlive/texmf-dist/doc/latex/ebproof
/usr/share/texlive/texmf-dist/doc/latex/ebproof/README.md
/usr/share/texlive/texmf-dist/doc/latex/ebproof/ebproof.pdf
/usr/share/texlive/texmf-dist/tex/latex/ebproof
/usr/share/texlive/texmf-dist/tex/latex/ebproof/ebproof.sty

Generated by rpm2html 1.8.1

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