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

texlive-seqcalc-1.0-77561.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-seqcalc Distribution: OpenMandriva Lx
Version: 1.0 Vendor: OpenMandriva
Release: 77561.1 Build date: Mon Jul 13 06:22:30 2026
Group: Publishing Build host: altra-1.openmandriva.org
Size: 0 Source RPM: texlive-seqcalc-1.0-77561.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/seqcalc
Summary: A package for declarative sequent-calculus proofs
 
This package provides a structured wrapper around the bussproofspackage.
It provides a declarative interface for sequent calculus proofs,
including rule declaration, rule application, formula normalization,
shortcuts, and optional standard rule sets. The goal is to simplify the
construction of proof trees while keeping the underlying bussproofs
layout untouched.

Provides

Requires

License

lppl1.3c

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/seqcalc
/usr/share/texmf-dist/doc/latex/seqcalc/README.md
/usr/share/texmf-dist/doc/latex/seqcalc/seqcalc-doc.pdf
/usr/share/texmf-dist/doc/latex/seqcalc/seqcalc-doc.tex
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/seqcalc
/usr/share/texmf-dist/tex/latex/seqcalc/seqcalc.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Aug 13 22:25:08 2026