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

Found 35 RPM for ocaml(Coccilib)

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

Generated by rpm2html 1.6

Fabrice Bellet