SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 

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

Name : texlive-bussproofs
Version : 2017.132.1.1svn27488 Vendor : openSUSE
Release : lp150.3.1 Date : 2017-10-18 14:00:00
Group : Productivity/Publishing/TeX/Base Source RPM : texlive-specs-d-2017-lp150.3.1.src.rpm
Size : 0.04 MB
Packager : https://bugs_opensuse_org
Summary : Proof trees in the style of the sequent calculus
Description :
The package allows the construction of proof trees in the style
of the sequent calculus and many other proof systems. One novel
feature of the macros is they support the horizontal alignment
according to some centre point specified with the command
\\fCenter. This is the style often used in sequent calculus
proofs. The package works in a Plain TeX document, as well as
in LaTeX; an exposition of the commands available is given in
the package file itself.

date: 2016-06-24 17:18:15 +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-bussproofs-2017.132.1.1svn27488-lp150.3.1.noarch.rpm
ftp.icm.edu.pl  texlive-bussproofs-2017.132.1.1svn27488-lp150.3.1.noarch.rpm
ftp.pbone.net  texlive-bussproofs-2017.132.1.1svn27488-lp150.3.1.noarch.rpm
     

Provides :
tex(bussproofs.sty)
texlive-bussproofs

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/bussproofs/bussproofs.sty
/var/adm/update-scripts/texlive-bussproofs-2017.132.1.1svn27488-lp150.3.1-zypper