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

The package provides macros for typesetting natural deduction proofs in "Fitch" style, with subproofs indented and offset by scope lines. The proofs from use of the package are in the format used in the textbook Language, Proof, and Logic by Dave Barker-Plummer, Jon Barwise, and John Etchemendy. date: 2016-06-24 17:18:15 +0000

Found 4 sites for texlive-lplfitch

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

Found 35 RPM for texlive-lplfitch

Generated by rpm2html 1.6

Fabrice Bellet