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

Found 53 RPM for ocaml(Common)

PackageSummaryDistributionDownload
coccinelle-1.1.1-31.20230624git0afff7f.fc41.aarch64.htmlSemantic patching for Linux (spatch)Fedora Rawhide for aarch64coccinelle-1.1.1-31.20230624git0afff7f.fc41.aarch64.rpm
coccinelle-1.1.1-31.20230624git0afff7f.fc41.ppc64le.htmlSemantic patching for Linux (spatch)Fedora Rawhide for ppc64lecoccinelle-1.1.1-31.20230624git0afff7f.fc41.ppc64le.rpm
coccinelle-1.1.1-31.20230624git0afff7f.fc41.s390x.htmlSemantic patching for Linux (spatch)Fedora Rawhide for s390xcoccinelle-1.1.1-31.20230624git0afff7f.fc41.s390x.rpm
coccinelle-1.1.1-31.20230624git0afff7f.fc41.x86_64.htmlSemantic patching for Linux (spatch)Fedora Rawhide for x86_64coccinelle-1.1.1-31.20230624git0afff7f.fc41.x86_64.rpm
coccinelle-1.1.1-30.20230624git0afff7f.fc40.aarch64.htmlSemantic patching for Linux (spatch)Fedora 40 for aarch64coccinelle-1.1.1-30.20230624git0afff7f.fc40.aarch64.rpm
coccinelle-1.1.1-30.20230624git0afff7f.fc40.ppc64le.htmlSemantic patching for Linux (spatch)Fedora 40 for ppc64lecoccinelle-1.1.1-30.20230624git0afff7f.fc40.ppc64le.rpm
coccinelle-1.1.1-30.20230624git0afff7f.fc40.s390x.htmlSemantic patching for Linux (spatch)Fedora 40 for s390xcoccinelle-1.1.1-30.20230624git0afff7f.fc40.s390x.rpm
coccinelle-1.1.1-30.20230624git0afff7f.fc40.x86_64.htmlSemantic patching for Linux (spatch)Fedora 40 for x86_64coccinelle-1.1.1-30.20230624git0afff7f.fc40.x86_64.rpm
coccinelle-1.1.1-22.20230624git0afff7f.fc39.aarch64.htmlSemantic patching for Linux (spatch)Fedora 39 for aarch64coccinelle-1.1.1-22.20230624git0afff7f.fc39.aarch64.rpm
coccinelle-1.1.1-22.20230624git0afff7f.fc39.ppc64le.htmlSemantic patching for Linux (spatch)Fedora 39 for ppc64lecoccinelle-1.1.1-22.20230624git0afff7f.fc39.ppc64le.rpm
coccinelle-1.1.1-22.20230624git0afff7f.fc39.s390x.htmlSemantic patching for Linux (spatch)Fedora 39 for s390xcoccinelle-1.1.1-22.20230624git0afff7f.fc39.s390x.rpm
coccinelle-1.1.1-22.20230624git0afff7f.fc39.x86_64.htmlSemantic patching for Linux (spatch)Fedora 39 for x86_64coccinelle-1.1.1-22.20230624git0afff7f.fc39.x86_64.rpm
coccinelle-1.1.1-17.fc38.aarch64.htmlSemantic patching for Linux (spatch)Fedora 38 for aarch64coccinelle-1.1.1-17.fc38.aarch64.rpm
coccinelle-1.1.1-17.fc38.ppc64le.htmlSemantic patching for Linux (spatch)Fedora 38 for ppc64lecoccinelle-1.1.1-17.fc38.ppc64le.rpm
coccinelle-1.1.1-17.fc38.s390x.htmlSemantic patching for Linux (spatch)Fedora 38 for s390xcoccinelle-1.1.1-17.fc38.s390x.rpm
coccinelle-1.1.1-17.fc38.x86_64.htmlSemantic patching for Linux (spatch)Fedora 38 for x86_64coccinelle-1.1.1-17.fc38.x86_64.rpm
coccinelle-1.1.1-14.fc37.aarch64.htmlSemantic patching for Linux (spatch)Fedora 37 updates for aarch64coccinelle-1.1.1-14.fc37.aarch64.rpm
coccinelle-1.1.1-14.fc37.x86_64.htmlSemantic patching for Linux (spatch)Fedora 37 updates for x86_64coccinelle-1.1.1-14.fc37.x86_64.rpm
coccinelle-1.1.1-13.fc37.aarch64.htmlSemantic patching for Linux (spatch)Fedora 37 for aarch64coccinelle-1.1.1-13.fc37.aarch64.rpm
coccinelle-1.1.1-13.fc37.ppc64le.htmlSemantic patching for Linux (spatch)Fedora 37 for ppc64lecoccinelle-1.1.1-13.fc37.ppc64le.rpm
coccinelle-1.1.1-13.fc37.s390x.htmlSemantic patching for Linux (spatch)Fedora 37 for s390xcoccinelle-1.1.1-13.fc37.s390x.rpm
coccinelle-1.1.1-13.fc37.x86_64.htmlSemantic patching for Linux (spatch)Fedora 37 for x86_64coccinelle-1.1.1-13.fc37.x86_64.rpm
coccinelle-1.1.1-4.mga10.aarch64.htmlSemantic patching for Linux (spatch)Mageia Cauldron for aarch64coccinelle-1.1.1-4.mga10.aarch64.rpm
coccinelle-1.1.1-4.mga10.armv7hl.htmlSemantic patching for Linux (spatch)Mageia Cauldron for armv7hlcoccinelle-1.1.1-4.mga10.armv7hl.rpm
coccinelle-1.1.1-4.mga10.i586.htmlSemantic patching for Linux (spatch)Mageia Cauldron for i686coccinelle-1.1.1-4.mga10.i586.rpm
coccinelle-1.1.1-4.mga10.x86_64.htmlSemantic patching for Linux (spatch)Mageia Cauldron for x86_64coccinelle-1.1.1-4.mga10.x86_64.rpm
coccinelle-1.1.1-3.mga9.aarch64.htmlSemantic patching for Linux (spatch)Mageia 9 for aarch64coccinelle-1.1.1-3.mga9.aarch64.rpm
coccinelle-1.1.1-3.mga9.armv7hl.htmlSemantic patching for Linux (spatch)Mageia 9 for armv7hlcoccinelle-1.1.1-3.mga9.armv7hl.rpm
coccinelle-1.1.1-3.mga9.i586.htmlSemantic patching for Linux (spatch)Mageia 9 for i586coccinelle-1.1.1-3.mga9.i586.rpm
coccinelle-1.1.1-3.mga9.x86_64.htmlSemantic patching for Linux (spatch)Mageia 9 for x86_64coccinelle-1.1.1-3.mga9.x86_64.rpm
coccinelle-1.0.8-7.mga8.aarch64.htmlSemantic patching for Linux (spatch)Mageia 8 for aarch64coccinelle-1.0.8-7.mga8.aarch64.rpm
coccinelle-1.0.8-7.mga8.armv7hl.htmlSemantic patching for Linux (spatch)Mageia 8 for armv7hlcoccinelle-1.0.8-7.mga8.armv7hl.rpm
coccinelle-1.0.8-7.mga8.i586.htmlSemantic patching for Linux (spatch)Mageia 8 for i586coccinelle-1.0.8-7.mga8.i586.rpm
coccinelle-1.0.8-7.mga8.x86_64.htmlSemantic patching for Linux (spatch)Mageia 8 for x86_64coccinelle-1.0.8-7.mga8.x86_64.rpm
coccinelle-1.0.7-8.el8.aarch64.htmlSemantic patching for Linux (spatch)EPEL 8 for aarch64coccinelle-1.0.7-8.el8.aarch64.rpm
coccinelle-1.0.7-8.el8.ppc64le.htmlSemantic patching for Linux (spatch)EPEL 8 for ppc64lecoccinelle-1.0.7-8.el8.ppc64le.rpm
coccinelle-1.0.7-8.el8.s390x.htmlSemantic patching for Linux (spatch)EPEL 8 for s390xcoccinelle-1.0.7-8.el8.s390x.rpm
coccinelle-1.0.7-8.el8.x86_64.htmlSemantic patching for Linux (spatch)EPEL 8 for x86_64coccinelle-1.0.7-8.el8.x86_64.rpm
coccinelle-1.0.7-4.el7.x86_64.htmlSemantic patching for Linux (spatch)EPEL 7 for x86_64coccinelle-1.0.7-4.el7.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

ocaml-ctypes-0.3.3-4.aarch64.htmlC type support for OCamlOpenMandriva Cooker for aarch64ocaml-ctypes-0.3.3-4.aarch64.rpm
ocaml-ctypes-0.3.3-4.aarch64.htmlC type support for OCamlOpenMandriva 5.0 for aarch64ocaml-ctypes-0.3.3-4.aarch64.rpm

ocaml-dose3-5.0.1-4.20180821git.11.mga8.aarch64.htmlFramework for managing distribution packages and their dependenciesMageia 8 for aarch64ocaml-dose3-5.0.1-4.20180821git.11.mga8.aarch64.rpm
ocaml-dose3-5.0.1-4.20180821git.11.mga8.armv7hl.htmlFramework for managing distribution packages and their dependenciesMageia 8 for armv7hlocaml-dose3-5.0.1-4.20180821git.11.mga8.armv7hl.rpm
ocaml-dose3-5.0.1-4.20180821git.11.mga8.i586.htmlFramework for managing distribution packages and their dependenciesMageia 8 for i586ocaml-dose3-5.0.1-4.20180821git.11.mga8.i586.rpm
ocaml-dose3-5.0.1-4.20180821git.11.mga8.x86_64.htmlFramework for managing distribution packages and their dependenciesMageia 8 for x86_64ocaml-dose3-5.0.1-4.20180821git.11.mga8.x86_64.rpm

ocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.aarch64.htmlDevelopment files for ocaml-dose3Mageia 8 for aarch64ocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.aarch64.rpm
ocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.armv7hl.htmlDevelopment files for ocaml-dose3Mageia 8 for armv7hlocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.armv7hl.rpm
ocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.i586.htmlDevelopment files for ocaml-dose3Mageia 8 for i586ocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.i586.rpm
ocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.x86_64.htmlDevelopment files for ocaml-dose3Mageia 8 for x86_64ocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet