Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM texlive-semantic-4:svn15878.2.0-18.el7.noarch.rpm

ID	43685
Name	texlive-semantic
Version	svn15878.2.0
Release	18.el7
Epoch	4
Arch	noarch
Summary	Help for writing programming language semantics
Description	Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees. date: 2007-01-15 20:26:34 +0100
Build Time	2016-01-25 02:26:04 GMT
Size	28.64 KB
SIGMD5	84852b7a7662ff70c191337fbad55609
License	LPPL
Buildroot	cloud7-openstack-common-el7-build-10510-14508
Provides	tex(infernce.sty) = 2014 tex(ligature.sty) = 2014 tex(reserved.sty) = 2014 tex(semantic.sty) = 2014 tex(shrthand.sty) = 2014 tex(tdiagram.sty) = 2014 tex-semantic = 2014 texlive-semantic = 4:svn15878.2.0-18.el7
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	/bin/sh /bin/sh /bin/sh coreutils rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-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 8 of 8 Name Size /usr/share/doc/texlive-semantic-svn15878.2.0 4.00 KB /usr/share/doc/texlive-semantic-svn15878.2.0/lppl1.txt 37.00 B /usr/share/texlive/texmf-dist/tex/latex/semantic/infernce.sty 5.91 KB /usr/share/texlive/texmf-dist/tex/latex/semantic/ligature.sty 6.69 KB /usr/share/texlive/texmf-dist/tex/latex/semantic/reserved.sty 2.75 KB /usr/share/texlive/texmf-dist/tex/latex/semantic/semantic.sty 4.71 KB /usr/share/texlive/texmf-dist/tex/latex/semantic/shrthand.sty 3.36 KB /usr/share/texlive/texmf-dist/tex/latex/semantic/tdiagram.sty 5.42 KB
Component of	No Buildroots