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-synproof

The package provides a set of macros based on PSTricks that will enable you to draw syntactic proofs easily (inspired by the Gamut books). Very few commands are needed, however fine tuning of the various parameters (dimensions) can still be achieved through "key=value" pairs. date: 2016-06-24 17:18:15 +0000

Found 4 sites for texlive-synproof

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

Found 35 RPM for texlive-synproof

Generated by rpm2html 1.6

Fabrice Bellet