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

texlive-fitch-1.0-77682.1 RPM for noarch

From OpenMandriva Cooker for x86_64 / main / release

Name: texlive-fitch Distribution: OpenMandriva Lx
Version: 1.0 Vendor: OpenMandriva
Release: 77682.1 Build date: Sun Jul 12 07:53:18 2026
Group: Publishing Build host: c64-1.openmandriva.org
Size: 0 Source RPM: texlive-fitch-1.0-77682.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/fitch
Summary: LaTeX macros for Fitch-style natural deduction
 
The package provides macros for typesetting natural deduction proofs in
Fitch style, with subproofs indented and offset by scope lines.

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/fitch
/usr/share/texmf-dist/doc/latex/fitch/README.md
/usr/share/texmf-dist/doc/latex/fitch/fitch.hacker.txt
/usr/share/texmf-dist/doc/latex/fitch/fitchdoc-dimen.pdf
/usr/share/texmf-dist/doc/latex/fitch/fitchdoc.pdf
/usr/share/texmf-dist/doc/latex/fitch/fitchdoc.tex
/usr/share/texmf-dist/doc/latex/fitch/fitchexample.png
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/fitch
/usr/share/texmf-dist/tex/latex/fitch/fitch.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Sep 25 22:02:00 2026