Fri, 26 Apr 2024 12:44:50 UTC | login

Information for RPM texlive-lplfitch-4:svn31077.0.9-18.el7.noarch.rpm

ID41773
Nametexlive-lplfitch
Versionsvn31077.0.9
Release18.el7
Epoch4
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. date: 2013-07-02 16:20:31 +0200
Build Time2016-01-25 02:26:04 GMT
Size23.09 KB
062424836c37b25cc64ad48e2f3069ec
LicenseLPPL 1.3
Buildrootcloud7-openstack-common-el7-build-10510-14508
Provides
tex(lplfitch.sty) = 2014
tex-lplfitch = 2014
texlive-lplfitch = 4:svn31077.0.9-18.el7
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
/bin/sh
/bin/sh
/bin/sh
coreutils
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
tex-kpathsea
texlive-base
texlive-kpathsea-bin
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 3 of 3
Name ascending sort Size
/usr/share/doc/texlive-lplfitch-svn31077.0.94.00 KB
/usr/share/doc/texlive-lplfitch-svn31077.0.9/lppl1.3.txt39.00 B
/usr/share/texlive/texmf-dist/tex/latex/lplfitch/lplfitch.sty4.09 KB
Component of No Buildroots