SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 

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

Name : texlive-ebproof
Version : 2017.132.2.0svn44392 Vendor : openSUSE
Release : lp150.3.1 Date : 2017-10-18 14:00:00
Group : Productivity/Publishing/TeX/Base Source RPM : texlive-specs-h-2017-lp150.3.1.src.rpm
Size : 0.02 MB
Packager : https://bugs_opensuse_org
Summary : Formal proofs in the style of sequent calculus
Description :
This package provides commands to typeset proof trees in the
style of sequent calculus and related systems. The commands
allow for writing inferences with any number of premises and
alignment of successive formulas on an arbitrary point. Various
options allow complete control over spacing, styles of
inference rules, placement of labels, etc. The package requires
expl3 and xparse.

date: 2017-05-17 16:37:56 +0000

RPM found in directory: /mirror/ftp.opensuse.org/distribution/leap/15.0/repo/oss/noarch

Content of RPM  Changelog  Provides Requires

Download
mirror.switch.ch  texlive-ebproof-2017.132.2.0svn44392-lp150.3.1.noarch.rpm
ftp.icm.edu.pl  texlive-ebproof-2017.132.2.0svn44392-lp150.3.1.noarch.rpm
ftp.pbone.net  texlive-ebproof-2017.132.2.0svn44392-lp150.3.1.noarch.rpm
     

Provides :
tex(ebproof.sty)
texlive-ebproof

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
tex(expl3.sty)
tex(xparse.sty)
texlive >= 2017
texlive >= 2017
texlive >= 2017


Content of RPM :
/usr/share/texmf/tex/latex/ebproof/ebproof.sty
/var/adm/update-scripts/texlive-ebproof-2017.132.2.0svn44392-lp150.3.1-zypper