Fri, 17 May 2024 07:20:59 UTC | login

Information for RPM texlive-lplfitch-11:svn31077.0.9-69.fc39.noarch.rpm

ID1113987
Nametexlive-lplfitch
Versionsvn31077.0.9
Release69.fc39
Epoch11
Archnoarch
SummaryFitch-style natural deduction proofs
DescriptionThe 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.
Build Time2023-03-30 22:02:41 GMT
Size18.68 KB
67b2c95cc25bfd7b1e76e033dcbf5287
LicenseLPPL-1.3c
Provides
tex(lplfitch.sty) = 2023
tex-lplfitch = 2023
texlive-lplfitch = 11:svn31077.0.9-69.fc39
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
tex-kpathsea
texlive-base
texlive-kpathsea-bin
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
/usr/share/licenses/texlive-lplfitch0.00 B
/usr/share/licenses/texlive-lplfitch/lppl1.3.txt18.66 KB
/usr/share/texlive/texmf-dist/tex/latex/lplfitch0.00 B
/usr/share/texlive/texmf-dist/tex/latex/lplfitch/lplfitch.sty4.09 KB
Component of
1 through 3 of 3
Buildroot descending sort Created State
f40-build-797027-140988 2024-03-23 17:37:06 expired
f40-build-769274-125504 2023-12-31 09:01:36 expired
f40-build-757358-119337 2023-12-08 01:00:30 expired