fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for RPM texlive-lplfitch-11:svn31077.0.9-76.fc42.noarch.rpm

ID574734
Buildtexlive-2023-76.fc42
Nametexlive-lplfitch
Versionsvn31077.0.9
Release76.fc42
Epoch11
Archnoarch
DraftFalse
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 Time2025-03-28 04:45:21 GMT
Size16.05 KB
5e8d4a14acd4c2f10a4a79c676b6bbf3
LicenseLPPL-1.3c
Buildrootf42-build-3443232-45454
Provides
tex(lplfitch.sty) = 2023
tex-lplfitch = 2023
texlive-lplfitch = 11:svn31077.0.9-76.fc42
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 No Buildroots