Sun, 19 May 2024 02:42:30 UTC | login

Information for RPM texlive-synproof-11:svn15878.1.0-71.fc40.noarch.rpm

ID1274598
Nametexlive-synproof
Versionsvn15878.1.0
Release71.fc40
Epoch11
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 Time2024-01-27 06:31:55 GMT
Size14.93 KB
1ea24fc130e8b987b723dee2745fd0cc
LicenseLPPL-1.3c
Provides
tex(synproof.sty) = 2023
tex-synproof = 2023
texlive-synproof = 11:svn15878.1.0-71.fc40
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