fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for RPM texlive-rec-thy-11:svn63982-76.fc42.noarch.rpm

ID573206
Buildtexlive-2023-76.fc42
Nametexlive-rec-thy
Versionsvn63982
Release76.fc42
Epoch11
Archnoarch
DraftFalse
SummaryCommands to typeset recursion theory papers
DescriptionThis package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation. This includes easy commands to denote Turing reductions, Turing functionals, c.e. sets, stagewise computations, forcing and syntactic classes.
Build Time2025-03-28 04:45:21 GMT
Size24.09 KB
864f928748fa0e1d64aaa1ff460faf86
LicenseLicenseRef-Fedora-Public-Domain
Buildrootf42-build-3443232-45454
Provides
tex(rec-thy.sty) = 2023
tex-rec-thy = 2023
texlive-rec-thy = 11:svn63982-76.fc42
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(amsmath.sty)
tex(amssymb.sty)
tex(hyperref.sty)
tex(ifmtarg.sty)
tex(marvosym.sty)
tex(stmaryrd.sty)
tex(suffix.sty)
tex(xifthen.sty)
tex(xkeyval.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-rec-thy0.00 B
/usr/share/licenses/texlive-rec-thy/pd.txt638.00 B
/usr/share/texlive/texmf-dist/tex/latex/rec-thy0.00 B
/usr/share/texlive/texmf-dist/tex/latex/rec-thy/rec-thy.sty79.11 KB
Component of No Buildroots