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

texlive-lplfitch-svn75712-3.fc45 RPM for noarch

From Fedora Rawhide for ppc64le / t

Name: texlive-lplfitch Distribution: Fedora Project
Version: svn75712 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: 251431 Source RPM: texlive-collection-mathscience-svn78771-3.fc45.src.rpm
Packager: Fedora Project
Url: http://tug.org/texlive/
Summary: Fitch-style natural deduction proofs
 
The package provides macros for typesetting natural deduction proofs in "Fitch"
style, with subproofs indented and offset by scope lines. The proofs from use
of the package are in the format used in the textbook "Language, Proof, and
Logic" by Dave Barker-Plummer, Jon Barwise, and John Etchemendy. (In fact, the
prefix "lpl" in the package name stands for "Language, Proof, and Logic".)

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-lplfitch
/usr/share/licenses/texlive-lplfitch/lppl1.3c.txt
/usr/share/texlive/texmf-dist/doc/latex/lplfitch
/usr/share/texlive/texmf-dist/doc/latex/lplfitch/README
/usr/share/texlive/texmf-dist/doc/latex/lplfitch/lplfitch.pdf
/usr/share/texlive/texmf-dist/tex/latex/lplfitch
/usr/share/texlive/texmf-dist/tex/latex/lplfitch/lplfitch.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Aug 19 02:47:53 2026