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

texlive-logictools-0.1.1-76924.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-logictools Distribution: OpenMandriva Lx
Version: 0.1.1 Vendor: OpenMandriva
Release: 76924.1 Build date: Sun Jul 12 10:31:24 2026
Group: Publishing Build host: emag-4.openmandriva.org
Size: 0 Source RPM: texlive-logictools-0.1.1-76924.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/logictools
Summary: Additional tools for typesetting formal logic
 
Adds various tools for typesetting formal logic, including: An
environment that makes it easier to produce good looking formal logic. A
few macros that would be of interest to people studying logic at Oxford
(or other places with similar notational conventions).

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Aug 12 22:19:20 2026