Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 40 hits of 42. Search took 0.00 seconds.
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/ptrommler:/formal/openSUSE_Factory/i586/coq-8.8.2-41.36.i586.rpm |
| Fedora 30 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/30/Everything/i386/os/Packages/c/coq-8.8.2-2.fc30.i686.rpm |
| Fedora 29 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/29/Everything/i386/os/Packages/c/coq-8.7.1-7.fc29.i686.rpm |
| Fedora 28 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/28/Everything/i386/os/Packages/c/coq-8.7.1-2.fc28.i686.rpm |
| Fedora 27 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/testing/27/i386/c/coq-8.6.1-1.fc27.i686.rpm |
| Fedora 27 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/27/Everything/i386/os/Packages/c/coq-8.6.1-1.fc27.i686.rpm |
| Fedora 26 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/26/Everything/i386/os/Packages/c/coq-8.6-2.fc26.i686.rpm |
| Fedora 25 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/25/i386/Packages/c/coq-8.6-1.fc25.i686.rpm |
| Fedora 25 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/25/Everything/i386/os/Packages/c/coq-8.5pl2-1.fc25.i686.rpm |
| Fedora 24 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/24/i386/c/coq-8.5pl2-1.fc24.i686.rpm |
| Fedora 24 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/24/Everything/i386/os/Packages/c/coq-8.5pl1-1.fc24.i686.rpm |
| Fedora 23 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/23/Everything/i386/os/Packages/c/coq-8.4pl6-4.fc23.i686.rpm |
| Fedora 22 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/22/Everything/i386/os/Packages/c/coq-8.4pl6-1.fc22.i686.rpm |
| Fedora 21 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/21/Everything/i386/os/Packages/c/coq-8.4pl5-2.fc21.i686.rpm |
| Fedora 20 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/20/i386/coq-8.4pl4-1.fc20.i686.rpm |
| Fedora 20 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/20/Everything/i386/os/Packages/c/coq-8.4pl2-2.fc20.i686.rpm |
| Fedora 19 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/19/Everything/i386/os/Packages/c/coq-8.4pl2-1.fc19.i686.rpm |
| Fedora 18 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/18/i386/coq-8.4pl1-1.fc18.i686.rpm |
| Fedora 18 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/18/Everything/i386/os/Packages/c/coq-8.4-1.fc18.i686.rpm |
| Fedora 17 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/17/Everything/i386/os/Packages/c/coq-8.3pl3-2.fc17.i686.rpm |
| Mandriva 2010 | /vol/rzm6/linux-mandriva/official/2010.1/i586/media/contrib/backports/coq-8.3pl3-1mdv2010.2.i586.rpm |
| Fedora 16 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/16/i386/coq-8.3pl2-3.fc16.i686.rpm |
| Fedora 16 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/16/Everything/i386/os/Packages/coq-8.3pl2-2.fc16.i686.rpm |
| Fedora 15 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/15/i386/coq-8.3pl2-2.fc15.i686.rpm |
| Fedora 15 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/15/Everything/i386/os/Packages/coq-8.3pl2-1.fc15.i686.rpm |
| Mandriva 2011 | /vol/rzm6/linux-mandriva/official/2011/i586/media/contrib/release/coq-8.3-3mdv2011.0.i586.rpm |
| Mandriva 2010 | /vol/rzm6/linux-mandriva/official/2010.1/i586/media/contrib/release/coq-8.2pl1-2mdv2010.1.i586.rpm |
| Fedora 13 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/13/Everything/i386/os/Packages/coq-8.2pl1-1.fc12.i686.rpm |
| Fedora 12 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/12/Everything/i386/os/Packages/coq-8.2pl1-1.fc12.i686.rpm |
| Fedora 14 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/14/Everything/i386/os/Packages/coq-8.2pl1-1.fc12.i686.rpm |
| Mandriva 2010 | /vol/rzm6/linux-mandriva/official/2010.0/i586/media/contrib/release/coq-8.2-2mdv2010.0.i586.rpm |
| Mandriva 2009 | /vol/rzm6/linux-mandriva/official/2009.1/i586/media/contrib/release/coq-8.2-1mdv2009.1.i586.rpm |
| Fedora 11 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/11/i386/coq-8.2-1.fc11.i586.rpm |
| Fedora 10 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/10/i386/coq-8.2-1.fc10.i386.rpm |
| Fedora 11 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/11/Everything/i386/os/Packages/coq-8.1pl4-3.fc11.i586.rpm |
| Fedora 10 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/10/Everything/i386/os/Packages/coq-8.1pl3-5.fc10.i386.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/i586/coq-8.19.2-68.51.i586.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/i586/coq-8.19.2-68.12.i586.rpm |
| openSUSE Tumbleweed | /vol/rzm3/linux-opensuse/ports/i586/tumbleweed/repo/oss/i586/coq-8.19.1-1.1.i586.rpm |
| Mageia Cauldron | /vol/rzm3/linux-mageia/distrib/cauldron/i586/media/core/release/coq-8.16.1-1.mga9.i586.rpm |
