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

texlive-prftree-1.6-77682.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-prftree Distribution: OpenMandriva Lx
Version: 1.6 Vendor: OpenMandriva
Release: 77682.1 Build date: Mon Jul 13 03:56:36 2026
Group: Publishing Build host: altra-3.openmandriva.org
Size: 0 Source RPM: texlive-prftree-1.6-77682.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/prftree
Summary: Macros for building proof trees
 
A package to typeset proof trees for natural deduction calculi, sequent-
like calculi, and similar.

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/prftree
/usr/share/texmf-dist/doc/latex/prftree/README
/usr/share/texmf-dist/doc/latex/prftree/prftreedoc.pdf
/usr/share/texmf-dist/doc/latex/prftree/prftreedoc.tex
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/prftree
/usr/share/texmf-dist/tex/latex/prftree/prftree.sty

Generated by rpm2html 1.8.1

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