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

texlive-ebproof-svn57544-76.fc42 RPM for noarch

From Fedora Rawhide for x86_64 / t

Name: texlive-ebproof Distribution: Fedora Project
Version: svn57544 Vendor: Fedora Project
Release: 76.fc42 Build date: Wed Jan 29 16:44:48 2025
Group: Unspecified Build host: buildvm-ppc64le-25.iad2.fedoraproject.org
Size: 38685 Source RPM: texlive-2023-76.fc42.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 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)
* Thu Mar 30 2023 Jerry James <loganjerry@gmail.com> - 11:2023-69
  - Remove unnecessary dependency on fontawesome-fonts
* Tue Mar 28 2023 Tom Callaway <spot@fedoraproject.org> - 11:2023-68
  - fix broken dependencies in texlive-naive-ebnf and texlive-jwjournal (bz2181838)
* Thu Mar 23 2023 Tom Callaway <spot@fedoraproject.org> - 11:2023-67
  - Update to TeXLive 2023
  - No longer in TeXLive: elegantbook, elegantnote, elegantpaper, tablestyles, pgf-cmykshadings
  - soulutf is now part of soul
  - expkv-* became expkv-bundle
* Thu Mar 09 2023 Tom Callaway <spot@fedoraproject.org> - 10:2022-66
  - update biblatex to 3.19 (svn66405) (bz2176089)

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, Tue Feb 11 02:51:35 2025