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-formal-grammar

This package provides a new environment and associated commands to typeset BNF grammars. It allows to easily write formal grammars. Its original motivation was to typeset grammars for beamer presentations, therefore, there are macros to emphasize or downplay some parts of the grammar (which is the main novelty compared to other BNF packages).

Found 3 sites for texlive-formal-grammar

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

Found 23 RPM for texlive-formal-grammar

Generated by rpm2html 1.6

Fabrice Bellet