Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

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.

System Arch

RPM resource libpplite4

PPLite is a C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification.

Found 1 sites for libpplite4

Found 5 RPM for libpplite4

PackageSummaryDistributionDownload
libpplite4-0.11-1.5.i586.htmlLibrary for computations with polyhedraOpenSuSE Ports Tumbleweed for i586libpplite4-0.11-1.5.i586.rpm
libpplite4-0.11-1.3.aarch64.htmlLibrary for computations with polyhedraOpenSuSE Ports Tumbleweed for aarch64libpplite4-0.11-1.3.aarch64.rpm
libpplite4-0.11-1.3.ppc64le.htmlLibrary for computations with polyhedraOpenSuSE Ports Tumbleweed for ppc64lelibpplite4-0.11-1.3.ppc64le.rpm
libpplite4-0.11-1.3.x86_64.htmlLibrary for computations with polyhedraOpenSuSE Tumbleweed for x86_64libpplite4-0.11-1.3.x86_64.rpm
libpplite4-0.11-1.2.riscv64.htmlLibrary for computations with polyhedraOpenSuSE Ports Tumbleweed for riscv64libpplite4-0.11-1.2.riscv64.rpm

Generated by rpm2html 1.6

Fabrice Bellet