SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : texlive-synproof
Version : svn15878.1.0 Vendor : Fedora Project
Release : 14.fc29 Date : 2018-06-23 22:24:21
Group : Applications/Publishing Source RPM : texlive-2017-14.fc29.src.rpm
Size : 0.01 MB
Packager : Fedora Project
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: /vol/rzm3/linux-fedora-buffet/alt/risc-v/repo/fedora/rawhide/25788/riscv64/Packages/t

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  texlive-synproof-svn15878.1.0-14.fc29.noarch.rpm
ftp.icm.edu.pl  texlive-synproof-svn15878.1.0-14.fc29.noarch.rpm
     

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

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
tex(ifthen.sty)
tex(keyval.sty)
tex(pst-node.sty)
tex(pstricks.sty)
tex-kpathsea
texlive-base
texlive-kpathsea-bin


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

 
ICM