Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 40 hits of 60. Search took 0.00 seconds.
| openSUSE Leap 15 | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haxe/openSUSE_Leap_15.6/x86_64/ocaml-spawn-devel-0.15.1-lp156.3.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-spawn-devel-0.15.1-lp155.3.2.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/frispete:/ocaml/15.4/x86_64/ocaml-spawn-devel-0.15.1-lp154.4.10.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-spawn-devel-0.15.1-lp154.3.3.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/x86_64/ocaml-spawn-devel-0.15.1-dlo.1699.3.74.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/SLE_15/x86_64/ocaml-spawn-devel-0.15.1-dlo.150400.3.5.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/SLE_12/x86_64/ocaml-spawn-devel-0.15.1-dlo.120500.3.5.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/frispete:/ocaml/openSUSE_Tumbleweed/x86_64/ocaml-spawn-devel-0.15.1-4.29.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haxe/openSUSE_Tumbleweed/x86_64/ocaml-spawn-devel-0.15.1-3.32.x86_64.rpm |
| Mageia 8 | /vol/rzm3/linux-mageia/distrib/8/x86_64/media/core/release/ocaml-spawn-devel-0.13.0-4.mga8.x86_64.rpm |
| Mageia 8 | /vol/rzm3/linux-mageia/distrib/8/i586/media/core/release/ocaml-spawn-devel-0.13.0-4.mga8.i586.rpm |
| Mageia 8 | /vol/rzm3/linux-mageia/distrib/8/x86_64/media/core/release/ocaml-spawn-0.13.0-4.mga8.x86_64.rpm |
| Mageia 8 | /vol/rzm3/linux-mageia/distrib/8/i586/media/core/release/ocaml-spawn-0.13.0-4.mga8.i586.rpm |
| openSUSE Leap 15 | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haxe/openSUSE_Leap_15.6/x86_64/ocaml-coq-devel-8.19.1-lp156.1.2.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-coq-devel-8.19.1-lp155.1.6.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-coq-devel-8.19.1-lp154.1.6.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/x86_64/ocaml-coq-devel-8.19.1-dlo.1699.1.334.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/i586/ocaml-coq-devel-8.19.1-dlo.1699.1.334.i586.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/SLE_15/x86_64/ocaml-coq-devel-8.19.1-dlo.150400.1.6.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/ocaml/SLE_12/x86_64/ocaml-coq-devel-8.19.1-dlo.120500.1.46.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haxe/openSUSE_Tumbleweed/x86_64/ocaml-coq-devel-8.19.1-1.120.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/15.6/x86_64/coq-devel-8.19.2-bp156.68.3.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/15.6/x86_64/coq-devel-8.19.2-bp156.68.11.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/i586/coq-devel-8.19.2-68.51.i586.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/x86_64/coq-devel-8.19.2-68.50.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/x86_64/coq-devel-8.19.2-68.12.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/i586/coq-devel-8.19.2-68.12.i586.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240901/repo/oss/x86_64/coq-devel-8.19.2-1.2.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240803/repo/oss/x86_64/coq-devel-8.19.2-1.1.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240702/repo/oss/x86_64/coq-devel-8.19.2-1.1.x86_64.rpm |
| OpenSuSE | /vol/rzm3/linux-opensuse/distribution/leap/15.6/repo/oss/x86_64/coq-devel-8.19.1-bp156.1.6.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15-SP6/standard/x86_64/coq-devel-8.19.1-bp156.1.14.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240429/repo/oss/x86_64/coq-devel-8.19.1-1.3.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240605/repo/oss/x86_64/coq-devel-8.19.1-1.3.x86_64.rpm |
| OpenSuSE | /vol/rzm3/linux-opensuse/update/slowroll/repo/oss/x86_64/coq-devel-8.19.1-1.1.x86_64.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/ports/i586/tumbleweed/repo/oss/i586/coq-devel-8.19.1-1.1.i586.rpm |
| Rawhide | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/c/coq-core-8.20.0-1.fc42.x86_64.rpm |
| Fedora 40 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/40/Everything/x86_64/os/Packages/c/coq-core-8.18.0-4.fc40.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/test/41_Beta/Everything/x86_64/os/Packages/c/coq-core-8.18.0-10.fc41.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/x86_64/os/Packages/c/coq-core-8.18.0-10.fc41.x86_64.rpm |
