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 ocaml-alt-ergo-devel

Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics. Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers. This package contains development files needed to build applications that use the Alt-Ergo library.

Found 1 sites for ocaml-alt-ergo-devel

Found 40 RPM for ocaml-alt-ergo-devel

PackageSummaryDistributionDownload
ocaml-alt-ergo-devel-2.2.0-14.fc36.aarch64.htmlDevelopment files for ocaml-altergolibFedora Rawhide for aarch64ocaml-alt-ergo-devel-2.2.0-14.fc36.aarch64.rpm
ocaml-alt-ergo-devel-2.2.0-14.fc36.armv7hl.htmlDevelopment files for ocaml-altergolibFedora Rawhide for armhfpocaml-alt-ergo-devel-2.2.0-14.fc36.armv7hl.rpm
ocaml-alt-ergo-devel-2.2.0-14.fc36.i686.htmlDevelopment files for ocaml-altergolibFedora Rawhide for x86_64ocaml-alt-ergo-devel-2.2.0-14.fc36.i686.rpm
ocaml-alt-ergo-devel-2.2.0-14.fc36.ppc64le.htmlDevelopment files for ocaml-altergolibFedora Rawhide for ppc64leocaml-alt-ergo-devel-2.2.0-14.fc36.ppc64le.rpm
ocaml-alt-ergo-devel-2.2.0-14.fc36.s390x.htmlDevelopment files for ocaml-altergolibFedora Rawhide for s390xocaml-alt-ergo-devel-2.2.0-14.fc36.s390x.rpm
ocaml-alt-ergo-devel-2.2.0-14.fc36.x86_64.htmlDevelopment files for ocaml-altergolibFedora Rawhide for x86_64ocaml-alt-ergo-devel-2.2.0-14.fc36.x86_64.rpm
ocaml-alt-ergo-devel-2.2.0-13.fc35.aarch64.htmlDevelopment files for ocaml-altergolibFedora 35 for aarch64ocaml-alt-ergo-devel-2.2.0-13.fc35.aarch64.rpm
ocaml-alt-ergo-devel-2.2.0-13.fc35.armv7hl.htmlDevelopment files for ocaml-altergolibFedora 35 for armhfpocaml-alt-ergo-devel-2.2.0-13.fc35.armv7hl.rpm
ocaml-alt-ergo-devel-2.2.0-13.fc35.i686.htmlDevelopment files for ocaml-altergolibFedora 35 for x86_64ocaml-alt-ergo-devel-2.2.0-13.fc35.i686.rpm
ocaml-alt-ergo-devel-2.2.0-13.fc35.ppc64le.htmlDevelopment files for ocaml-altergolibFedora 35 for ppc64leocaml-alt-ergo-devel-2.2.0-13.fc35.ppc64le.rpm
ocaml-alt-ergo-devel-2.2.0-13.fc35.s390x.htmlDevelopment files for ocaml-altergolibFedora 35 for s390xocaml-alt-ergo-devel-2.2.0-13.fc35.s390x.rpm
ocaml-alt-ergo-devel-2.2.0-13.fc35.x86_64.htmlDevelopment files for ocaml-altergolibFedora 35 for x86_64ocaml-alt-ergo-devel-2.2.0-13.fc35.x86_64.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.aarch64.htmlDevelopment files for ocaml-altergolibFedora 34 for aarch64ocaml-alt-ergo-devel-2.2.0-9.fc34.aarch64.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.aarch64.htmlDevelopment files for ocaml-altergolibFedora 34 testing updates for aarch64ocaml-alt-ergo-devel-2.2.0-9.fc34.aarch64.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.armv7hl.htmlDevelopment files for ocaml-altergolibFedora 34 testing updates for armhfpocaml-alt-ergo-devel-2.2.0-9.fc34.armv7hl.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.armv7hl.htmlDevelopment files for ocaml-altergolibFedora 34 for armhfpocaml-alt-ergo-devel-2.2.0-9.fc34.armv7hl.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.i686.htmlDevelopment files for ocaml-altergolibFedora 34 testing updates for x86_64ocaml-alt-ergo-devel-2.2.0-9.fc34.i686.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.i686.htmlDevelopment files for ocaml-altergolibFedora 34 for x86_64ocaml-alt-ergo-devel-2.2.0-9.fc34.i686.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.ppc64le.htmlDevelopment files for ocaml-altergolibFedora 34 for ppc64leocaml-alt-ergo-devel-2.2.0-9.fc34.ppc64le.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.s390x.htmlDevelopment files for ocaml-altergolibFedora 34 for s390xocaml-alt-ergo-devel-2.2.0-9.fc34.s390x.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.x86_64.htmlDevelopment files for ocaml-altergolibFedora 34 for x86_64ocaml-alt-ergo-devel-2.2.0-9.fc34.x86_64.rpm
ocaml-alt-ergo-devel-2.2.0-9.fc34.x86_64.htmlDevelopment files for ocaml-altergolibFedora 34 testing updates for x86_64ocaml-alt-ergo-devel-2.2.0-9.fc34.x86_64.rpm
ocaml-alt-ergo-devel-2.2.0-6.fc33.aarch64.htmlDevelopment files for ocaml-altergolibFedora 33 updates for aarch64ocaml-alt-ergo-devel-2.2.0-6.fc33.aarch64.rpm
ocaml-alt-ergo-devel-2.2.0-6.fc33.armv7hl.htmlDevelopment files for ocaml-altergolibFedora 33 updates for armhfpocaml-alt-ergo-devel-2.2.0-6.fc33.armv7hl.rpm
ocaml-alt-ergo-devel-2.2.0-6.fc33.i686.htmlDevelopment files for ocaml-altergolibFedora 33 updates for x86_64ocaml-alt-ergo-devel-2.2.0-6.fc33.i686.rpm
ocaml-alt-ergo-devel-2.2.0-6.fc33.x86_64.htmlDevelopment files for ocaml-altergolibFedora 33 updates for x86_64ocaml-alt-ergo-devel-2.2.0-6.fc33.x86_64.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.aarch64.htmlDevelopment files for ocaml-altergolibFedora 33 testing updates for aarch64ocaml-alt-ergo-devel-2.2.0-5.fc33.aarch64.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.aarch64.htmlDevelopment files for ocaml-altergolibFedora 33 for aarch64ocaml-alt-ergo-devel-2.2.0-5.fc33.aarch64.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.armv7hl.htmlDevelopment files for ocaml-altergolibFedora 33 for armhfpocaml-alt-ergo-devel-2.2.0-5.fc33.armv7hl.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.armv7hl.htmlDevelopment files for ocaml-altergolibFedora 33 testing updates for armhfpocaml-alt-ergo-devel-2.2.0-5.fc33.armv7hl.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.i686.htmlDevelopment files for ocaml-altergolibFedora 33 testing updates for x86_64ocaml-alt-ergo-devel-2.2.0-5.fc33.i686.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.i686.htmlDevelopment files for ocaml-altergolibFedora 33 for x86_64ocaml-alt-ergo-devel-2.2.0-5.fc33.i686.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.ppc64le.htmlDevelopment files for ocaml-altergolibFedora 33 for ppc64leocaml-alt-ergo-devel-2.2.0-5.fc33.ppc64le.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.s390x.htmlDevelopment files for ocaml-altergolibFedora 33 for s390xocaml-alt-ergo-devel-2.2.0-5.fc33.s390x.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.x86_64.htmlDevelopment files for ocaml-altergolibFedora 33 testing updates for x86_64ocaml-alt-ergo-devel-2.2.0-5.fc33.x86_64.rpm
ocaml-alt-ergo-devel-2.2.0-5.fc33.x86_64.htmlDevelopment files for ocaml-altergolibFedora 33 for x86_64ocaml-alt-ergo-devel-2.2.0-5.fc33.x86_64.rpm
ocaml-alt-ergo-devel-2.2.0-1.fc32.aarch64.htmlDevelopment files for ocaml-altergolibFedora 32 updates for aarch64ocaml-alt-ergo-devel-2.2.0-1.fc32.aarch64.rpm
ocaml-alt-ergo-devel-2.2.0-1.fc32.armv7hl.htmlDevelopment files for ocaml-altergolibFedora 32 updates for armhfpocaml-alt-ergo-devel-2.2.0-1.fc32.armv7hl.rpm
ocaml-alt-ergo-devel-2.2.0-1.fc32.i686.htmlDevelopment files for ocaml-altergolibFedora 32 updates for x86_64ocaml-alt-ergo-devel-2.2.0-1.fc32.i686.rpm
ocaml-alt-ergo-devel-2.2.0-1.fc32.x86_64.htmlDevelopment files for ocaml-altergolibFedora 32 updates for x86_64ocaml-alt-ergo-devel-2.2.0-1.fc32.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet