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

texlive-lkproof-3.1-79461.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-lkproof Distribution: OpenMandriva Lx
Version: 3.1 Vendor: OpenMandriva
Release: 79461.1 Build date: Sun Jul 12 10:28:24 2026
Group: Publishing Build host: emag-4.openmandriva.org
Size: 0 Source RPM: texlive-lkproof-3.1-79461.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/lkproof
Summary: LK Proof figure macros
 
The package defines a pair of commands \infer and \deduce, that are used
in constructing LK proof diagrams.

Provides

Requires

License

gpl

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/lkproof
/usr/share/texmf-dist/doc/latex/lkproof/lkproof-doc.pdf
/usr/share/texmf-dist/doc/latex/lkproof/lkproof-doc.tex
/usr/share/texmf-dist/doc/latex/lkproof/proofeg.tex
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/lkproof
/usr/share/texmf-dist/tex/latex/lkproof/proof.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Aug 14 22:19:38 2026