Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-semantic-15878-2 RPM for noarch

From OpenMandriva Cooker for x86_64 / main / release

Name: texlive-semantic Distribution: OpenMandriva Lx
Version: 15878 Vendor: OpenMandriva
Release: 2 Build date: Tue Oct 22 17:56:09 2024
Group: Publishing Build host: ph18-1.openmandriva.org
Size: 540661 Source RPM: texlive-semantic-15878-2.src.rpm
Packager: bero_massbuild <bero+massbuild@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/semantic
Summary: Help for writing programming language semantics
 
Eases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.

Provides

Requires

License

LPPL

Files

/usr/share/texmf-dist/doc/latex/semantic/semantic.pdf
/usr/share/texmf-dist/source/latex/semantic/semantic.dtx
/usr/share/texmf-dist/source/latex/semantic/semantic.ins
/usr/share/texmf-dist/tex/latex/semantic/infernce.sty
/usr/share/texmf-dist/tex/latex/semantic/ligature.sty
/usr/share/texmf-dist/tex/latex/semantic/reserved.sty
/usr/share/texmf-dist/tex/latex/semantic/semantic.sty
/usr/share/texmf-dist/tex/latex/semantic/shrthand.sty
/usr/share/texmf-dist/tex/latex/semantic/tdiagram.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Jan 12 23:03:12 2025