SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

texlive-lplfitch rpm build for : Fedora 39. For other distributions click texlive-lplfitch.

Name : texlive-lplfitch
Version : svn31077.0.9 Vendor : Fedora Project
Release : 69.fc39 Date : 2023-03-31 00:02:41
Group : Unspecified Source RPM : texlive-2023-69.fc39.src.rpm
Size : 0.02 MB
Packager : Fedora Project
Summary : Fitch-style natural deduction proofs
Description :
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.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora-secondary/releases/39/Everything/ppc64le/os/Packages/t

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  texlive-lplfitch-svn31077.0.9-69.fc39.noarch.rpm
ftp.icm.edu.pl  texlive-lplfitch-svn31077.0.9-69.fc39.noarch.rpm
ftp.icm.edu.pl  texlive-lplfitch-svn31077.0.9-69.fc39.noarch.rpm
ftp.icm.edu.pl  texlive-lplfitch-svn31077.0.9-69.fc39.noarch.rpm
     

Provides :
tex(lplfitch.sty)
tex-lplfitch
texlive-lplfitch

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


Content of RPM :
/usr/share/licenses/texlive-lplfitch
/usr/share/licenses/texlive-lplfitch/lppl1.3.txt
/usr/share/texlive/texmf-dist/tex/latex/lplfitch
/usr/share/texlive/texmf-dist/tex/latex/lplfitch/lplfitch.sty

 
ICM