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

Found 27 RPM for pplite-devel

PackageSummaryDistributionDownload
pplite-devel-0.11-5.fc41.aarch64.htmlDevelopment files for PPLiteFedora Rawhide for aarch64pplite-devel-0.11-5.fc41.aarch64.rpm
pplite-devel-0.11-5.fc41.ppc64le.htmlDevelopment files for PPLiteFedora Rawhide for ppc64lepplite-devel-0.11-5.fc41.ppc64le.rpm
pplite-devel-0.11-5.fc41.s390x.htmlDevelopment files for PPLiteFedora Rawhide for s390xpplite-devel-0.11-5.fc41.s390x.rpm
pplite-devel-0.11-5.fc41.x86_64.htmlDevelopment files for PPLiteFedora Rawhide for x86_64pplite-devel-0.11-5.fc41.x86_64.rpm
pplite-devel-0.11-5.fc40.aarch64.htmlDevelopment files for PPLiteFedora 40 testing updates for aarch64pplite-devel-0.11-5.fc40.aarch64.rpm
pplite-devel-0.11-5.fc40.aarch64.htmlDevelopment files for PPLiteFedora 40 for aarch64pplite-devel-0.11-5.fc40.aarch64.rpm
pplite-devel-0.11-5.fc40.ppc64le.htmlDevelopment files for PPLiteFedora 40 for ppc64lepplite-devel-0.11-5.fc40.ppc64le.rpm
pplite-devel-0.11-5.fc40.s390x.htmlDevelopment files for PPLiteFedora 40 for s390xpplite-devel-0.11-5.fc40.s390x.rpm
pplite-devel-0.11-5.fc40.x86_64.htmlDevelopment files for PPLiteFedora 40 testing updates for x86_64pplite-devel-0.11-5.fc40.x86_64.rpm
pplite-devel-0.11-5.fc40.x86_64.htmlDevelopment files for PPLiteFedora 40 for x86_64pplite-devel-0.11-5.fc40.x86_64.rpm
pplite-devel-0.11-1.5.i586.htmlHeaders and generators for ppliteOpenSuSE Ports Tumbleweed for i586pplite-devel-0.11-1.5.i586.rpm
pplite-devel-0.11-1.3.aarch64.htmlHeaders and generators for ppliteOpenSuSE Ports Tumbleweed for aarch64pplite-devel-0.11-1.3.aarch64.rpm
pplite-devel-0.11-1.3.ppc64le.htmlHeaders and generators for ppliteOpenSuSE Ports Tumbleweed for ppc64lepplite-devel-0.11-1.3.ppc64le.rpm
pplite-devel-0.11-1.3.x86_64.htmlHeaders and generators for ppliteOpenSuSE Tumbleweed for x86_64pplite-devel-0.11-1.3.x86_64.rpm
pplite-devel-0.11-1.2.riscv64.htmlHeaders and generators for ppliteOpenSuSE Ports Tumbleweed for riscv64pplite-devel-0.11-1.2.riscv64.rpm
pplite-devel-0.11-1.fc39.aarch64.htmlDevelopment files for PPLiteFedora 39 for aarch64pplite-devel-0.11-1.fc39.aarch64.rpm
pplite-devel-0.11-1.fc39.i686.htmlDevelopment files for PPLiteFedora 39 for x86_64pplite-devel-0.11-1.fc39.i686.rpm
pplite-devel-0.11-1.fc39.ppc64le.htmlDevelopment files for PPLiteFedora 39 for ppc64lepplite-devel-0.11-1.fc39.ppc64le.rpm
pplite-devel-0.11-1.fc39.s390x.htmlDevelopment files for PPLiteFedora 39 for s390xpplite-devel-0.11-1.fc39.s390x.rpm
pplite-devel-0.11-1.fc39.x86_64.htmlDevelopment files for PPLiteFedora 39 for x86_64pplite-devel-0.11-1.fc39.x86_64.rpm
pplite-devel-0.7-1.3.s390x.htmlHeaders and generators for ppliteOpenSuSE Ports Tumbleweed for s390xpplite-devel-0.7-1.3.s390x.rpm
pplite-devel-0.7-bp156.2.5.aarch64.htmlHeaders and generators for ppliteOpenSuSE Leap 15.6 for aarch64pplite-devel-0.7-bp156.2.5.aarch64.rpm
pplite-devel-0.7-bp156.2.5.s390x.htmlHeaders and generators for ppliteOpenSuSE Leap 15.6 for s390xpplite-devel-0.7-bp156.2.5.s390x.rpm
pplite-devel-0.7-bp156.2.5.x86_64.htmlHeaders and generators for ppliteOpenSuSE Leap 15.6 for x86_64pplite-devel-0.7-bp156.2.5.x86_64.rpm
pplite-devel-0.7-bp155.1.7.aarch64.htmlHeaders and generators for ppliteOpenSuSE Leap 15.5 for aarch64pplite-devel-0.7-bp155.1.7.aarch64.rpm
pplite-devel-0.7-bp155.1.7.s390x.htmlHeaders and generators for ppliteOpenSuSE Leap 15.5 for s390xpplite-devel-0.7-bp155.1.7.s390x.rpm
pplite-devel-0.7-bp155.1.7.x86_64.htmlHeaders and generators for ppliteOpenSuSE Leap 15.5 for x86_64pplite-devel-0.7-bp155.1.7.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet