The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

RPM resource texlive-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/.

Found 3 sites for texlive-fodot

• https://www.ctan.org/tex-archive/macros/latex/contrib/fodot
• http://tug.org/texlive/
• https://www.tug.org/texlive/

Found 17 RPM for texlive-fodot

Generated by rpm2html 1.6

Fabrice Bellet