Sun, 19 May 2024 20:38:16 UTC | login

Information for RPM texlive-lplfitch-9:svn31077.0.9-59.fc37.noarch.rpm

ID853764
Nametexlive-lplfitch
Versionsvn31077.0.9
Release59.fc37
Epoch9
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 Time2022-08-01 16:30:45 GMT
Size19.11 KB
2160a8d2e13d805af27217638166b985
LicenseLPPL 1.3
Provides
tex(lplfitch.sty) = 2021
tex-lplfitch = 2021
texlive-lplfitch = 9:svn31077.0.9-59.fc37
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
f37-build-678625-76382 2022-11-15 21:37:18 expired
f37-build-673823-75679 2022-11-12 00:57:30 expired
f37-build-666395-74333 2022-11-06 11:27:48 expired