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

texlive-ebproof-2.1.1-77682.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-ebproof Distribution: OpenMandriva Lx
Version: 2.1.1 Vendor: OpenMandriva
Release: 77682.1 Build date: Sun Jul 12 05:37:45 2026
Group: Publishing Build host: altra-3.openmandriva.org
Size: 0 Source RPM: texlive-ebproof-2.1.1-77682.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/ebproof
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

lppl1.3

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/ebproof
/usr/share/texmf-dist/doc/latex/ebproof/README.md
/usr/share/texmf-dist/doc/latex/ebproof/ebproof.pdf
/usr/share/texmf-dist/source
/usr/share/texmf-dist/source/latex
/usr/share/texmf-dist/source/latex/ebproof
/usr/share/texmf-dist/source/latex/ebproof/ebproof.dtx
/usr/share/texmf-dist/source/latex/ebproof/ebproof.ins
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/ebproof
/usr/share/texmf-dist/tex/latex/ebproof/ebproof.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Aug 8 22:11:13 2026