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

texlive-prftree-54080-1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-prftree Distribution: OpenMandriva Lx
Version: 54080 Vendor: OpenMandriva
Release: 1 Build date: Wed Nov 16 11:48:44 2022
Group: Publishing Build host: builder2-4.openmandriva.org
Size: 502199 Source RPM: texlive-prftree-54080-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://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/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/latex/prftree
/usr/share/texmf-dist/tex/latex/prftree/prftree.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 1 23:14:33 2024