Fri, 17 May 2024 09:10:50 UTC | login

Information for RPM texlive-synproof-11:svn15878.1.0-69.fc39.noarch.rpm

ID1116067
Nametexlive-synproof
Versionsvn15878.1.0
Release69.fc39
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 Time2023-03-30 22:02:41 GMT
Size16.24 KB
601b7c7fc179c4a7fd49dae016725f4b
LicenseLPPL-1.3c
Provides
tex(synproof.sty) = 2023
tex-synproof = 2023
texlive-synproof = 11:svn15878.1.0-69.fc39
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
1 through 3 of 3
Buildroot descending sort Created State
f40-build-797027-140988 2024-03-23 17:37:06 expired
f40-build-769274-125504 2023-12-31 09:01:36 expired
f40-build-757358-119337 2023-12-08 01:00:30 expired