Sat, 04 May 2024 05:06:19 UTC | login

Information for RPM texlive-synproof-9:svn15878.1.0-19.fc33.noarch.rpm

ID521421
Nametexlive-synproof
Versionsvn15878.1.0
Release19.fc33
Epoch9
Archnoarch
SummaryEasy drawing of syntactic proofs
DescriptionThe 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.
Build Time2020-03-12 14:01:41 GMT
Size19.51 KB
c1ec63ad57b32043c2c529e99d54b3c4
LicenseLPPL
Provides
tex(synproof.sty) = 2019
tex-synproof = 2019
texlive-synproof = 9:svn15878.1.0-19.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
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)
tex-kpathsea
texlive-base
texlive-kpathsea-bin
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
/usr/share/licenses/texlive-synproof0.00 B
/usr/share/licenses/texlive-synproof/lppl1.txt8.87 KB
/usr/share/texlive/texmf-dist/tex/latex/synproof0.00 B
/usr/share/texlive/texmf-dist/tex/latex/synproof/synproof.sty5.76 KB
Component of No Buildroots