Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 22 hits of 22. Search took 0.01 seconds.
openSUSE Leap 15 | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haxe/openSUSE_Leap_15.6/x86_64/ocaml-core_kernel-devel-0.16.0-lp156.2.1.x86_64.rpm |
openSUSE Leap 15 | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haxe/openSUSE_Leap_15.5/x86_64/ocaml-core_kernel-devel-0.16.0-lp155.2.3.x86_64.rpm |
openSUSE Leap 15 | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haxe/openSUSE_Leap_15.4/x86_64/ocaml-core_kernel-devel-0.16.0-lp154.2.5.x86_64.rpm |
openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/x86_64/ocaml-core_kernel-devel-0.16.0-dlo.1699.2.74.x86_64.rpm |
OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/SLE_15/x86_64/ocaml-core_kernel-devel-0.16.0-dlo.150400.2.7.x86_64.rpm |
OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/SLE_12/x86_64/ocaml-core_kernel-devel-0.16.0-dlo.120500.2.7.x86_64.rpm |
openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haxe/openSUSE_Tumbleweed/x86_64/ocaml-core_kernel-devel-0.16.0-2.34.x86_64.rpm |
OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/frispete:/ocaml/15.4/x86_64/ocaml-core_kernel-devel-0.15.0-lp154.2.2.x86_64.rpm |
openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/frispete:/ocaml/openSUSE_Tumbleweed/x86_64/ocaml-core_kernel-devel-0.15.0-2.8.x86_64.rpm |
Mageia 8 | /vol/rzm3/linux-mageia/distrib/8/x86_64/media/core/release/ocaml-core_kernel-devel-0.13.0-4.mga8.x86_64.rpm |
Mageia 8 | /vol/rzm3/linux-mageia/distrib/8/i586/media/core/release/ocaml-core_kernel-devel-0.13.0-4.mga8.i586.rpm |
Mageia 8 | /vol/rzm3/linux-mageia/distrib/8/x86_64/media/core/release/ocaml-core_kernel-0.13.0-4.mga8.x86_64.rpm |
Mageia 8 | /vol/rzm3/linux-mageia/distrib/8/i586/media/core/release/ocaml-core_kernel-0.13.0-4.mga8.i586.rpm |
Fedora 37 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/37/Everything/x86_64/os/Packages/f/frama-c-25.0-4.fc37.x86_64.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/36/Everything/x86_64/Packages/f/frama-c-24.0-7.fc36.x86_64.rpm |
Fedora 36 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/36/Everything/x86_64/os/Packages/f/frama-c-24.0-6.fc36.x86_64.rpm |
Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/35/Everything/x86_64/Packages/f/frama-c-24.0-1.fc35.x86_64.rpm |
Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/35/Everything/x86_64/os/Packages/f/frama-c-23.1-1.fc35.x86_64.rpm |
Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/34/Everything/x86_64/Packages/f/frama-c-23.1-1.fc34.x86_64.rpm |
Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/x86_64/os/Packages/f/frama-c-22.0-8.fc34.x86_64.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/33/Everything/x86_64/Packages/f/frama-c-22.0-4.fc33.x86_64.rpm |
Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/x86_64/os/Packages/f/frama-c-21.1-6.fc33.x86_64.rpm |