Display 23921 - 23960 hits of 310500.
| coq | 8.3pl3-1 | i586 | The Coq Proof Assistant | Mandriva 2011 |
| coq | 8.3-3mdv2011.0 | i586 | The Coq Proof Assistant | Mandriva 2011 |
| coq | 8.2pl1-2mdv2010.1 | i586 | The Coq Proof Assistant | Mandriva 2010 |
| coq | 8.2-2mdv2010.0 | i586 | The Coq Proof Assistant | Mandriva 2010 |
| coq | 8.2-1mdv2009.1 | i586 | The Coq Proof Assistant | Mandriva 2009 |
| coq | 8.1pl3-1mdv2009.0 | i586 | The Coq Proof Assistant | Mandriva 2009 |
| coq | 8.1pl1-1mdv2008.0 | i586 | The Coq Proof Assistant | Mandriva 2008 |
| coq | 8.0pl3-5mdv2007.0 | i586 | The Coq Proof Assistant | Mandriva 2007 |
| coq | 8.0pl3-5mdv2007.0 | i586 | The Coq Proof Assistant | Mandriva 2007 |
| coq-ide | 8.3pl3-1mdv2010.2 | i586 | The Coq Integrated Development Interface | Mandriva 2010 |
| coq-ide | 8.3pl3-1 | i586 | The Coq Integrated Development Interface | Mandriva 2011 |
| coq-ide | 8.3pl3-1 | i586 | The Coq Integrated Development Interface | Mandrake Other |
| coq-ide | 8.3-3mdv2011.0 | i586 | The Coq Integrated Development Interface | Mandriva 2011 |
| coq-ide | 8.2pl1-2mdv2010.1 | i586 | The Coq Integrated Development Interface | Mandriva 2010 |
| coq-ide | 8.2-2mdv2010.0 | i586 | The Coq Integrated Development Interface | Mandriva 2010 |
| coq-ide | 8.2-1mdv2009.1 | i586 | The Coq Integrated Development Interface | Mandriva 2009 |
| coq-ide | 8.1pl3-1mdv2009.0 | i586 | The Coq Integrated Development Interface | Mandriva 2009 |
| coq-ide | 8.1pl1-1mdv2008.0 | i586 | The Coq Integrated Development Interface | Mandriva 2008 |
| coq-ide | 8.0pl3-5mdv2007.0 | i586 | The Coq Integrated Development Interface | Mandriva 2007 |
| coq-ide | 8.0pl3-5mdv2007.0 | i586 | The Coq Integrated Development Interface | Mandriva 2007 |
| coquillo | 1.9-1 | i586 | Audio Metadata Editor | Mandriva 2011 |
| coquillo | 1.12-1 | i586 | Audio Metadata Editor | Mandrake Other |
| coquillo-debug | 1.9-1 | i586 | Debug information for package coquillo | Mandriva 2011 |
| coralftp | 0.2.2-8 | noarch | A Graphical FTP client | Mandrake Other |
| coralftp | 0.2.2-8 | noarch | A Graphical FTP client | Mandriva 2011 |
| coralftp | 0.2.2-8 | noarch | A Graphical FTP client | Mandrake Other |
| coralftp | 0.2.2-6mdv2010.0 | noarch | A Graphical FTP client | Mandriva 2010 |
| coralftp | 0.2.2-6mdv2010.0 | noarch | A Graphical FTP client | Mandriva 2010 |
| coralftp | 0.2.2-5mdv2009.1 | noarch | A Graphical FTP client | Mandriva 2009 |
| coralftp | 0.2.2-5mdv2009.0 | noarch | A Graphical FTP client | Mandriva 2009 |
| coralftp | 0.2.2-3mdv2008.0 | noarch | A Graphical FTP client | Mandriva 2009 |
| coralftp | 0.2.2-3mdv2008.0 | noarch | A Graphical FTP client | Mandriva 2008 |
| coralftp | 0.2.2-2mdv2007.0 | noarch | A Graphical FTP client | Mandriva 2007 |
| coralftp | 0.2.2-2mdv2007.0 | noarch | A Graphical FTP client | Mandriva 2007 |
| coralftp | 0.2.2-1mdk | noarch | A Graphical FTP client | Mandriva 2006 |
| coralftp | 0.2.2-1mdk | noarch | A Graphical FTP client | Mandriva 2006 |
| Coramy | 0.1-5mdv2009.0 | i586 | The ERP5 implementation for Coramy | Mandriva 2009 |
| Coramy | 0.1-5mdv2009.0 | i586 | The ERP5 implementation for Coramy | Mandriva 2009 |
| Coramy | 0.1-3mdv2008.1 | noarch | The ERP5 implementation for Coramy | Mandrake Other |
| Coramy | 0.1-3mdk | noarch | The ERP5 implementation for Coramy | Mandriva 2007 |
