| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-gene-logic | Distribution: OpenMandriva Lx |
| Version: 1.5 | Vendor: OpenMandriva |
| Release: 79121.1 | Build date: Sun Jul 12 07:34:29 2026 |
| Group: Publishing | Build host: emag-1.openmandriva.org |
| Size: 0 | Source RPM: texlive-gene-logic-1.5-79121.1.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: https://www.ctan.org/tex-archive/macros/latex/contrib/gene/logic | |
| Summary: Typeset logic formulae, etc. | |
The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, a newtheorem-like environment (NewTheorem), and several macros.
other-free
/usr/share/texmf-dist /usr/share/texmf-dist/doc /usr/share/texmf-dist/doc/latex /usr/share/texmf-dist/doc/latex/gene-logic /usr/share/texmf-dist/doc/latex/gene-logic/README.md /usr/share/texmf-dist/doc/latex/gene-logic/gn-logic.pdf /usr/share/texmf-dist/doc/latex/gene-logic/gn-logic.tex /usr/share/texmf-dist/tex /usr/share/texmf-dist/tex/latex /usr/share/texmf-dist/tex/latex/gene-logic /usr/share/texmf-dist/tex/latex/gene-logic/gn-logic.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Aug 31 22:17:21 2026