Mon, 02 Nov 2026 11:30:56 UTC Log in

texlive-synproof-12:svn15878-3.fc45.noarch.rpm

noarch
Easy drawing of syntactic proofs 76.19 KB built 2026-10-18 02:55:42 GMT
Build 16621

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.

Dependencies

14 total
Requires10
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
  • tex(ifthen.sty)
  • tex(keyval.sty)
  • tex(pst-node.sty)
  • tex(pstricks.sty)
  • texlive-base
  • texlive-kpathsea
Provides3
  • tex(synproof.sty) = 2026
  • texlive-synproof = 12:svn15878-3.fc45
  • texlive-synproof-doc = 12:svn15878-3.fc45
Obsoletes1
  • texlive-synproof-doc <= 11:svn15878
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

8
Name ascending sort Size
/usr/share/licenses/texlive-synproof 0.00 B
/usr/share/licenses/texlive-synproof/lppl1.3c.txt 18.66 KB
/usr/share/texlive/texmf-dist/doc/latex/synproof 0.00 B
/usr/share/texlive/texmf-dist/doc/latex/synproof/README 655.00 B
/usr/share/texlive/texmf-dist/doc/latex/synproof/synproof-doc.pdf 67.44 KB
/usr/share/texlive/texmf-dist/doc/latex/synproof/synproof-doc.tex 11.43 KB
/usr/share/texlive/texmf-dist/tex/latex/synproof 0.00 B
/usr/share/texlive/texmf-dist/tex/latex/synproof/synproof.sty 5.76 KB
Files 1–8 of 8

Component of

buildroots that installed this RPM

No Buildroots