SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 

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

Name : texlive-lplfitch
Version : 2017.132.0.0.9svn31077 Vendor : openSUSE
Release : 33.1 Date : 2017-11-24 13:00:00
Group : Productivity/Publishing/TeX/Base Source RPM : texlive-specs-n-2017-33.1.src.rpm
Size : 0.00 MB
Packager : http://bugs_opensuse_org
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.

date: 2016-06-24 17:18:15 +0000

RPM found in directory: /mirror/ftp.opensuse.org/ports/aarch64/tumbleweed/repo/oss/suse/noarch

Content of RPM  Changelog  Provides Requires

Download
mirror.switch.ch  texlive-lplfitch-2017.132.0.0.9svn31077-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-lplfitch-2017.132.0.0.9svn31077-33.1.noarch.rpm
ftp.pbone.net  texlive-lplfitch-2017.132.0.0.9svn31077-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-lplfitch-2017.132.0.0.9svn31077-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-lplfitch-2017.132.0.0.9svn31077-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-lplfitch-2017.132.0.0.9svn31077-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-lplfitch-2017.132.0.0.9svn31077-33.1.noarch.rpm
ftp.icm.edu.pl  texlive-lplfitch-2017.132.0.0.9svn31077-33.1.noarch.rpm
     

Provides :
tex(lplfitch.sty)
texlive-lplfitch

Requires :
/bin/sh
/bin/sh
/bin/sh
coreutils
coreutils
findutils
grep
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
sed
texlive >= 2017
texlive >= 2017
texlive >= 2017


Content of RPM :
/usr/share/texmf/tex/latex/lplfitch/lplfitch.sty