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

texlive-ebproof-svn57544-77.fc43 RPM for noarch

From Fedora Rawhide for x86_64 / t

Name: texlive-ebproof Distribution: Fedora Project
Version: svn57544 Vendor: Fedora Project
Release: 77.fc43 Build date: Mon May 12 17:32:19 2025
Group: Unspecified Build host: buildvm-x86-21.iad2.fedoraproject.org
Size: 38685 Source RPM: texlive-2023-77.fc43.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

* Mon May 12 2025 Than Ngo <than@redhat.com> - 11:2023-77
  - Fixed rhbz#2284201 - texlive-tcolorbox has missing dependencies
  - Fixed rhbz#2359772 - texlive-readarray requires texlive-forloop
* Wed Jan 29 2025 Than Ngo <than@redhat.com> - 11:2023-76
  - Fixed rhbz#2271057 - Upgrade biblatex to 3.20
* Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 11:2023-75
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Mon Sep 30 2024 Than Ngo <than@redhat.com> - 11:2023-74
  - fixed rhbz#2314476, missing dependencies for package texlive-europasscv
  - fixed rhbz#2295803, Chessboard requires skaknew for a font
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 11:2023-72
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 11:2023-71
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 04 2024 Tom Callaway <spot@fedoraproject.org>  - 11:2023-70
  - fix missing tikz dependencies for tikzlings subpackage (bz2255556)

Files

/usr/share/licenses/texlive-ebproof
/usr/share/licenses/texlive-ebproof/lppl1.3.txt
/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, Wed May 14 00:09:05 2025