Sun, 26 Jan 2025 02:39:17 UTC | login

Information for RPM texlive-semantic-11:svn15878.2.0-69.fc39.noarch.rpm

ID1115705
Nametexlive-semantic
Versionsvn15878.2.0
Release69.fc39
Epoch11
Archnoarch
SummaryHelp for writing programming language semantics
DescriptionEases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.
Build Time2023-03-30 22:02:41 GMT
Size21.25 KB
9a26b783d2d0b85652c1f8acf68a7b65
LicenseLPPL-1.3c
Provides
tex(infernce.sty) = 2023
tex(ligature.sty) = 2023
tex(reserved.sty) = 2023
tex(semantic.sty) = 2023
tex(shrthand.sty) = 2023
tex(tdiagram.sty) = 2023
tex-semantic = 2023
texlive-semantic = 11:svn15878.2.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(mathbbol.sty)
tex-kpathsea
texlive-base
texlive-kpathsea-bin
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 9 of 9
Name ascending sort Size
/usr/share/licenses/texlive-semantic0.00 B
/usr/share/licenses/texlive-semantic/lppl1.txt8.87 KB
/usr/share/texlive/texmf-dist/tex/latex/semantic0.00 B
/usr/share/texlive/texmf-dist/tex/latex/semantic/infernce.sty5.91 KB
/usr/share/texlive/texmf-dist/tex/latex/semantic/ligature.sty6.69 KB
/usr/share/texlive/texmf-dist/tex/latex/semantic/reserved.sty2.75 KB
/usr/share/texlive/texmf-dist/tex/latex/semantic/semantic.sty4.71 KB
/usr/share/texlive/texmf-dist/tex/latex/semantic/shrthand.sty3.36 KB
/usr/share/texlive/texmf-dist/tex/latex/semantic/tdiagram.sty5.42 KB
Component of
1 through 3 of 3
Buildroot descending sort Created State
f40-build-769274-125504 2023-12-31 09:01:36 expired
f40-build-761624-121629 2023-12-14 11:11:45 expired
f40-build-755706-118261 2023-12-06 03:14:30 expired