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 x86_64 / main / release

Name: texlive-lkproof Distribution: OpenMandriva Lx
Version: 3.1 Vendor: OpenMandriva
Release: 79461.1 Build date: Sun Jul 12 10:56:12 2026
Group: Publishing Build host: ryzen9-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, Sun Aug 23 22:01:20 2026