Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 9 hits of 9. Search took 0.00 seconds.
| 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 |
