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

texlive-natded-0.1-32693.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-natded Distribution: OpenMandriva Lx
Version: 0.1 Vendor: OpenMandriva
Release: 32693.1 Build date: Sun Aug 23 21:08:33 2026
Group: Publishing Build host: emag-2.openmandriva.org
Size: 0 Source RPM: texlive-natded-0.1-32693.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/natded
Summary: Typeset natural deduction proofs
 
The package provides commands to typeset proofs in the style used by
Jaskowski, or that of Kalish and Montague.

Provides

Requires

License

lppl1.3

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/natded
/usr/share/texmf-dist/doc/latex/natded/README.md
/usr/share/texmf-dist/doc/latex/natded/extended_doc.pdf
/usr/share/texmf-dist/doc/latex/natded/extended_doc.tex
/usr/share/texmf-dist/doc/latex/natded/natded.pdf
/usr/share/texmf-dist/doc/latex/natded/natded.tex
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/natded
/usr/share/texmf-dist/tex/latex/natded/natded.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Sep 4 22:17:44 2026