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

texlive-logictools-svn76924-3.fc45 RPM for noarch

From Fedora Rawhide for ppc64le / t

Name: texlive-logictools Distribution: Fedora Project
Version: svn76924 Vendor: Fedora Project
Release: 3.fc45 Build date: Sat Jul 18 13:51:04 2026
Group: Unspecified Build host: buildvm-x86-15.rdu3.fedoraproject.org
Size: 468212 Source RPM: texlive-collection-mathscience-svn78771-3.fc45.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).

Provides

Requires

License

LPPL-1.3c

Changelog

* Fri Jul 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 12:svn78771-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Wed Apr 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn78771-2
  - Update collection from svn77561 to svn78771
  - Add chempid
  - Add dnsrecord
  - Add fits-astro
  - Add glmatrix
  - Add mohelper
  - Add mystyletau
  - Add query-astro
  - Add quickderivs
  - Add register-transfer-level
  - Add statementsp
  - Update 70 components
* Tue Feb 10 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77561-2
  - Update to svn77561
* 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

Files

/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, Sat Aug 8 01:58:15 2026