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

texlive-lkproof-20021-2 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-lkproof Distribution: OpenMandriva Lx
Version: 20021 Vendor: OpenMandriva
Release: 2 Build date: Mon Oct 21 23:52:53 2024
Group: Publishing Build host: altra-3.openmandriva.org
Size: 268074 Source RPM: texlive-lkproof-20021-2.src.rpm
Packager: bero_massbuild <bero+massbuild@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/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/latex/lkproof/proof.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Nov 15 22:14:27 2025