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

texlive-fodot-0.0.1-76255.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-fodot Distribution: OpenMandriva Lx
Version: 0.0.1 Vendor: OpenMandriva
Release: 76255.1 Build date: Sun Jul 12 07:08:07 2026
Group: Publishing Build host: emag-3.openmandriva.org
Size: 0 Source RPM: texlive-fodot-0.0.1-76255.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/fodot
Summary: Helpful commands to work with the FODOT
 
This package provides helpful commands to work with the fodot language
in LaTeX including syntax highlighting in listings. The fodot language
itself is not introduced. Instead, please refer to the official
documentation: Official documentation of fodot: https://fo-
dot.readthedocs.io/en/latest/FO-dot.html Technical implementation of
fodot: https://docs.idp-z3.be/en/stable/introduction.html Reasoning
engine IDP-Z3 (using fodot): https://idp-z3.be/.

Provides

Requires

License

lppl1.3c

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/fodot
/usr/share/texmf-dist/doc/latex/fodot/README.md
/usr/share/texmf-dist/doc/latex/fodot/fodot-doc.pdf
/usr/share/texmf-dist/doc/latex/fodot/fodot-doc.tex
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/fodot
/usr/share/texmf-dist/tex/latex/fodot/fodot.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Sep 22 22:13:47 2026