| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-logictools | Distribution: Fedora Project |
| Version: svn76924 | Vendor: Fedora Project |
| Release: 1.fc44 | Build date: Wed Feb 4 16:11:55 2026 |
| Group: Unspecified | Build host: buildvm-x86-04.rdu3.fedoraproject.org |
| Size: 468212 | Source RPM: texlive-collection-mathscience-svn77507-1.fc44.src.rpm |
| Packager: Fedora Project | |
| Url: http://tug.org/texlive/ | |
| 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).
LPPL-1.3c
* Thu Jan 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77507-1 - update to svn77507, fix descriptions, licensing, update components * Wed Oct 08 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-2 - regen, no deps from docs * Tue Sep 16 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-1 - Update to TeX Live 2025
/usr/share/licenses/texlive-logictools /usr/share/licenses/texlive-logictools/lppl1.3c.txt /usr/share/texlive/texmf-dist/doc/latex/logictools /usr/share/texlive/texmf-dist/doc/latex/logictools/Logictools_Documentation.pdf /usr/share/texlive/texmf-dist/doc/latex/logictools/README /usr/share/texlive/texmf-dist/doc/latex/logictools/logictools-documentation.tex /usr/share/texlive/texmf-dist/tex/latex/logictools /usr/share/texlive/texmf-dist/tex/latex/logictools/logictools.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Aug 10 11:50:16 2026