| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-semantic | Distribution: OpenMandriva Lx |
| Version: 2.0 | Vendor: OpenMandriva |
| Release: 79618.1 | Build date: Mon Jul 13 06:21:20 2026 |
| Group: Publishing | Build host: emag-5.openmandriva.org |
| Size: 0 | Source RPM: texlive-semantic-2.0-79618.1.src.rpm |
| Packager: bero <bero@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.
lppl1.2
/usr/share/texmf-dist /usr/share/texmf-dist/doc /usr/share/texmf-dist/doc/latex /usr/share/texmf-dist/doc/latex/semantic /usr/share/texmf-dist/doc/latex/semantic/semantic.pdf /usr/share/texmf-dist/source /usr/share/texmf-dist/source/latex /usr/share/texmf-dist/source/latex/semantic /usr/share/texmf-dist/source/latex/semantic/semantic.dtx /usr/share/texmf-dist/source/latex/semantic/semantic.ins /usr/share/texmf-dist/tex /usr/share/texmf-dist/tex/latex /usr/share/texmf-dist/tex/latex/semantic /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, Sat Aug 8 22:11:13 2026