Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 8 hits of 8. Search took 0.00 seconds.
Search results for
ocamlfind(coq-core.coqworkmgrapi) :
| 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 |
