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 pplite-devel

PPLite is a C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification. The main characteristics of PPLite: * Both closed and NNC rational convex polyhedra are supported. * Exact computations are based on FLINT.

Found 2 sites for pplite-devel

• https://github.com/ezaffanella/PPLite/
• https://www.cs.unipr.it/~zaffanella/PPLite/

Found 34 RPM for pplite-devel

Generated by rpm2html 1.6

Fabrice Bellet