SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : texlive-synproof
Version : 2024.216.1.0svn15878 Vendor : obs://build_opensuse_org/Publishing
Release : lp156.212.2 Date : 2024-07-25 13:27:52
Group : Productivity/Publishing/TeX/Base Source RPM : texlive-specs-v-2024-lp156.212.2.src.rpm
Size : 0.01 MB
Packager : https://www_suse_com/
Summary : Easy drawing of syntactic proofs
Description :
The package provides a set of macros based on PSTricks that
will enable you to draw syntactic proofs easily (inspired by
the Gamut books). Very few commands are needed, however fine
tuning of the various parameters (dimensions) can still be
achieved through \"key=value\" pairs.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/Publishing:/TeXLive/15.6/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  texlive-synproof-2024.216.1.0svn15878-lp156.212.2.noarch.rpm
     

Provides :
tex(synproof.sty)
texlive-synproof

Requires :
/bin/sh
/bin/sh
/bin/sh
coreutils
coreutils
coreutils
ed
findutils
grep
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
sed
tex(ifthen.sty)
tex(keyval.sty)
tex(pst-node.sty)
tex(pstricks.sty)
texlive >= 2024
texlive >= 2024
texlive-filesystem >= 2024
texlive-filesystem >= 2024
texlive-filesystem >= 2024
texlive-kpathsea >= 2024
texlive-kpathsea >= 2024
texlive-kpathsea-bin >= 2024
texlive-kpathsea-bin >= 2024
texlive-scripts >= 2024
texlive-scripts >= 2024
texlive-scripts-bin >= 2024
texlive-scripts-bin >= 2024


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

 
ICM