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(Simplex)

Found 67 RPM for ocaml(Simplex)

PackageSummaryDistributionDownload
alt-ergo-2.2.0-15.mga9.aarch64.htmlAutomated theorem prover including linear arithmeticMageia Cauldron for aarch64alt-ergo-2.2.0-15.mga9.aarch64.rpm
alt-ergo-2.2.0-15.mga9.armv7hl.htmlAutomated theorem prover including linear arithmeticMageia Cauldron for armv7hlalt-ergo-2.2.0-15.mga9.armv7hl.rpm
alt-ergo-2.2.0-15.mga9.i586.htmlAutomated theorem prover including linear arithmeticMageia Cauldron for i586alt-ergo-2.2.0-15.mga9.i586.rpm
alt-ergo-2.2.0-15.mga9.x86_64.htmlAutomated theorem prover including linear arithmeticMageia Cauldron for x86_64alt-ergo-2.2.0-15.mga9.x86_64.rpm

coq-8.13.2-3.fc35.aarch64.htmlProof management systemFedora 35 for aarch64coq-8.13.2-3.fc35.aarch64.rpm
coq-8.13.2-3.fc35.armv7hl.htmlProof management systemFedora 35 for armhfpcoq-8.13.2-3.fc35.armv7hl.rpm
coq-8.13.2-3.fc35.ppc64le.htmlProof management systemFedora 35 for ppc64lecoq-8.13.2-3.fc35.ppc64le.rpm
coq-8.13.2-3.fc35.x86_64.htmlProof management systemFedora 35 for x86_64coq-8.13.2-3.fc35.x86_64.rpm
coq-8.13.2-2.mga9.aarch64.htmlThe Coq Proof AssistantMageia Cauldron for aarch64coq-8.13.2-2.mga9.aarch64.rpm
coq-8.13.2-2.mga9.armv7hl.htmlThe Coq Proof AssistantMageia Cauldron for armv7hlcoq-8.13.2-2.mga9.armv7hl.rpm
coq-8.13.2-2.mga9.i586.htmlThe Coq Proof AssistantMageia Cauldron for i586coq-8.13.2-2.mga9.i586.rpm
coq-8.13.2-2.mga9.x86_64.htmlThe Coq Proof AssistantMageia Cauldron for x86_64coq-8.13.2-2.mga9.x86_64.rpm
coq-8.13.2-1.fc34.aarch64.htmlProof management systemFedora 34 updates for aarch64coq-8.13.2-1.fc34.aarch64.rpm
coq-8.13.2-1.fc34.armv7hl.htmlProof management systemFedora 34 updates for armhfpcoq-8.13.2-1.fc34.armv7hl.rpm
coq-8.13.2-1.fc34.x86_64.htmlProof management systemFedora 34 updates for x86_64coq-8.13.2-1.fc34.x86_64.rpm
coq-8.13.1-1.fc34.aarch64.htmlProof management systemFedora 34 for aarch64coq-8.13.1-1.fc34.aarch64.rpm
coq-8.13.1-1.fc34.armv7hl.htmlProof management systemFedora 34 for armhfpcoq-8.13.1-1.fc34.armv7hl.rpm
coq-8.13.1-1.fc34.ppc64le.htmlProof management systemFedora 34 for ppc64lecoq-8.13.1-1.fc34.ppc64le.rpm
coq-8.13.1-1.fc34.x86_64.htmlProof management systemFedora 34 for x86_64coq-8.13.1-1.fc34.x86_64.rpm
coq-8.11.2-1.fc32.aarch64.htmlProof management systemFedora 32 updates for aarch64coq-8.11.2-1.fc32.aarch64.rpm
coq-8.11.2-1.fc32.armv7hl.htmlProof management systemFedora 32 updates for armhfpcoq-8.11.2-1.fc32.armv7hl.rpm
coq-8.11.2-1.fc32.x86_64.htmlProof management systemFedora 32 updates for x86_64coq-8.11.2-1.fc32.x86_64.rpm
coq-8.11.0-4.mga8.aarch64.htmlThe Coq Proof AssistantMageia 8 for aarch64coq-8.11.0-4.mga8.aarch64.rpm
coq-8.11.0-4.mga8.armv7hl.htmlThe Coq Proof AssistantMageia 8 for armv7hlcoq-8.11.0-4.mga8.armv7hl.rpm
coq-8.11.0-4.mga8.i586.htmlThe Coq Proof AssistantMageia 8 for i586coq-8.11.0-4.mga8.i586.rpm
coq-8.11.0-4.mga8.x86_64.htmlThe Coq Proof AssistantMageia 8 for x86_64coq-8.11.0-4.mga8.x86_64.rpm
coq-8.11.0-1.fc32.aarch64.htmlProof management systemFedora 32 for aarch64coq-8.11.0-1.fc32.aarch64.rpm
coq-8.11.0-1.fc32.armv7hl.htmlProof management systemFedora 32 for armhfpcoq-8.11.0-1.fc32.armv7hl.rpm
coq-8.11.0-1.fc32.ppc64le.htmlProof management systemFedora 32 for ppc64lecoq-8.11.0-1.fc32.ppc64le.rpm
coq-8.11.0-1.fc32.s390x.htmlProof management systemFedora 32 for s390xcoq-8.11.0-1.fc32.s390x.rpm
coq-8.11.0-1.fc32.x86_64.htmlProof management systemFedora 32 for x86_64coq-8.11.0-1.fc32.x86_64.rpm

ocaml-alt-ergo-2.2.0-14.fc36.aarch64.htmlAutomated theorem prover libraryFedora Rawhide for aarch64ocaml-alt-ergo-2.2.0-14.fc36.aarch64.rpm
ocaml-alt-ergo-2.2.0-14.fc36.armv7hl.htmlAutomated theorem prover libraryFedora Rawhide for armhfpocaml-alt-ergo-2.2.0-14.fc36.armv7hl.rpm
ocaml-alt-ergo-2.2.0-14.fc36.i686.htmlAutomated theorem prover libraryFedora Rawhide for x86_64ocaml-alt-ergo-2.2.0-14.fc36.i686.rpm
ocaml-alt-ergo-2.2.0-14.fc36.ppc64le.htmlAutomated theorem prover libraryFedora Rawhide for ppc64leocaml-alt-ergo-2.2.0-14.fc36.ppc64le.rpm
ocaml-alt-ergo-2.2.0-14.fc36.s390x.htmlAutomated theorem prover libraryFedora Rawhide for s390xocaml-alt-ergo-2.2.0-14.fc36.s390x.rpm
ocaml-alt-ergo-2.2.0-14.fc36.x86_64.htmlAutomated theorem prover libraryFedora Rawhide for x86_64ocaml-alt-ergo-2.2.0-14.fc36.x86_64.rpm
ocaml-alt-ergo-2.2.0-13.fc35.aarch64.htmlAutomated theorem prover libraryFedora 35 for aarch64ocaml-alt-ergo-2.2.0-13.fc35.aarch64.rpm
ocaml-alt-ergo-2.2.0-13.fc35.armv7hl.htmlAutomated theorem prover libraryFedora 35 for armhfpocaml-alt-ergo-2.2.0-13.fc35.armv7hl.rpm
ocaml-alt-ergo-2.2.0-13.fc35.i686.htmlAutomated theorem prover libraryFedora 35 for x86_64ocaml-alt-ergo-2.2.0-13.fc35.i686.rpm
ocaml-alt-ergo-2.2.0-13.fc35.ppc64le.htmlAutomated theorem prover libraryFedora 35 for ppc64leocaml-alt-ergo-2.2.0-13.fc35.ppc64le.rpm
ocaml-alt-ergo-2.2.0-13.fc35.s390x.htmlAutomated theorem prover libraryFedora 35 for s390xocaml-alt-ergo-2.2.0-13.fc35.s390x.rpm
ocaml-alt-ergo-2.2.0-13.fc35.x86_64.htmlAutomated theorem prover libraryFedora 35 for x86_64ocaml-alt-ergo-2.2.0-13.fc35.x86_64.rpm
ocaml-alt-ergo-2.2.0-9.fc34.aarch64.htmlAutomated theorem prover libraryFedora 34 for aarch64ocaml-alt-ergo-2.2.0-9.fc34.aarch64.rpm
ocaml-alt-ergo-2.2.0-9.fc34.aarch64.htmlAutomated theorem prover libraryFedora 34 testing updates for aarch64ocaml-alt-ergo-2.2.0-9.fc34.aarch64.rpm
ocaml-alt-ergo-2.2.0-9.fc34.armv7hl.htmlAutomated theorem prover libraryFedora 34 testing updates for armhfpocaml-alt-ergo-2.2.0-9.fc34.armv7hl.rpm
ocaml-alt-ergo-2.2.0-9.fc34.armv7hl.htmlAutomated theorem prover libraryFedora 34 for armhfpocaml-alt-ergo-2.2.0-9.fc34.armv7hl.rpm
ocaml-alt-ergo-2.2.0-9.fc34.i686.htmlAutomated theorem prover libraryFedora 34 for x86_64ocaml-alt-ergo-2.2.0-9.fc34.i686.rpm
ocaml-alt-ergo-2.2.0-9.fc34.i686.htmlAutomated theorem prover libraryFedora 34 testing updates for x86_64ocaml-alt-ergo-2.2.0-9.fc34.i686.rpm
ocaml-alt-ergo-2.2.0-9.fc34.ppc64le.htmlAutomated theorem prover libraryFedora 34 for ppc64leocaml-alt-ergo-2.2.0-9.fc34.ppc64le.rpm
ocaml-alt-ergo-2.2.0-9.fc34.s390x.htmlAutomated theorem prover libraryFedora 34 for s390xocaml-alt-ergo-2.2.0-9.fc34.s390x.rpm
ocaml-alt-ergo-2.2.0-9.fc34.x86_64.htmlAutomated theorem prover libraryFedora 34 testing updates for x86_64ocaml-alt-ergo-2.2.0-9.fc34.x86_64.rpm
ocaml-alt-ergo-2.2.0-9.fc34.x86_64.htmlAutomated theorem prover libraryFedora 34 for x86_64ocaml-alt-ergo-2.2.0-9.fc34.x86_64.rpm
ocaml-alt-ergo-2.2.0-6.fc33.aarch64.htmlAutomated theorem prover libraryFedora 33 updates for aarch64ocaml-alt-ergo-2.2.0-6.fc33.aarch64.rpm
ocaml-alt-ergo-2.2.0-6.fc33.armv7hl.htmlAutomated theorem prover libraryFedora 33 updates for armhfpocaml-alt-ergo-2.2.0-6.fc33.armv7hl.rpm
ocaml-alt-ergo-2.2.0-6.fc33.i686.htmlAutomated theorem prover libraryFedora 33 updates for x86_64ocaml-alt-ergo-2.2.0-6.fc33.i686.rpm
ocaml-alt-ergo-2.2.0-6.fc33.x86_64.htmlAutomated theorem prover libraryFedora 33 updates for x86_64ocaml-alt-ergo-2.2.0-6.fc33.x86_64.rpm
ocaml-alt-ergo-2.2.0-5.fc33.aarch64.htmlAutomated theorem prover libraryFedora 33 testing updates for aarch64ocaml-alt-ergo-2.2.0-5.fc33.aarch64.rpm
ocaml-alt-ergo-2.2.0-5.fc33.aarch64.htmlAutomated theorem prover libraryFedora 33 for aarch64ocaml-alt-ergo-2.2.0-5.fc33.aarch64.rpm
ocaml-alt-ergo-2.2.0-5.fc33.armv7hl.htmlAutomated theorem prover libraryFedora 33 testing updates for armhfpocaml-alt-ergo-2.2.0-5.fc33.armv7hl.rpm
ocaml-alt-ergo-2.2.0-5.fc33.armv7hl.htmlAutomated theorem prover libraryFedora 33 for armhfpocaml-alt-ergo-2.2.0-5.fc33.armv7hl.rpm
ocaml-alt-ergo-2.2.0-5.fc33.i686.htmlAutomated theorem prover libraryFedora 33 testing updates for x86_64ocaml-alt-ergo-2.2.0-5.fc33.i686.rpm
ocaml-alt-ergo-2.2.0-5.fc33.i686.htmlAutomated theorem prover libraryFedora 33 for x86_64ocaml-alt-ergo-2.2.0-5.fc33.i686.rpm
ocaml-alt-ergo-2.2.0-5.fc33.ppc64le.htmlAutomated theorem prover libraryFedora 33 for ppc64leocaml-alt-ergo-2.2.0-5.fc33.ppc64le.rpm
ocaml-alt-ergo-2.2.0-5.fc33.s390x.htmlAutomated theorem prover libraryFedora 33 for s390xocaml-alt-ergo-2.2.0-5.fc33.s390x.rpm
ocaml-alt-ergo-2.2.0-5.fc33.x86_64.htmlAutomated theorem prover libraryFedora 33 testing updates for x86_64ocaml-alt-ergo-2.2.0-5.fc33.x86_64.rpm
ocaml-alt-ergo-2.2.0-5.fc33.x86_64.htmlAutomated theorem prover libraryFedora 33 for x86_64ocaml-alt-ergo-2.2.0-5.fc33.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet