| Name : texlive-synproof
| |
| Version : 2018.158.1.0svn15878
| Vendor : obs://build_opensuse_org/Publishing
|
| Release : 154.2
| Date : 2019-02-20 14:46:18
|
| Group : Productivity/Publishing/TeX/Base
| Source RPM : texlive-specs-v-2018-154.2.src.rpm
|
| Size : 0.01 MB
| |
| Packager : (none)
| |
| 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.
date: 2016-06-24 17:18:15 +0000
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/Publishing:/TeXLive/openSUSE_Leap_42.3/noarch |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
tex(synproof.sty)
texlive-synproof
Requires :
