Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mandriva > 2007.0 > i586 > media > contrib-release > by-pkgid > 15aef6d63d86977b2f1d1649f4cd3c33 > history

coq-ide-8.0pl3-5mdv2007.0.i586.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

Highter version of this package:

• coq-ide-8.16.1-1.mga9.armv7hl.rpm
• coq-ide-8.16.1-1.mga9.x86_64.rpm
• coq-ide-8.16.1-1.mga9.aarch64.rpm
• coq-ide-8.16.1-1.mga9.i586.rpm
• coq-ide-8.11.0-4.mga8.armv7hl.rpm
• coq-ide-8.11.0-4.mga8.aarch64.rpm
• coq-ide-8.11.0-4.mga8.x86_64.rpm
• coq-ide-8.11.0-4.mga8.i586.rpm
• coq-ide-8.7.1-1.mga7.x86_64.rpm
• coq-ide-8.7.1-1.mga7.armv7hl.rpm
• coq-ide-8.7.1-1.mga7.aarch64.rpm
• coq-ide-8.7.1-1.mga7.i586.rpm
• coq-ide-8.5pl2-2.mga6.armv7hl.rpm
• coq-ide-8.5pl2-2.mga6.i586.rpm
• coq-ide-8.5pl2-2.mga6.x86_64.rpm
• coq-ide-8.5pl2-2.mga6.armv5tl.rpm
• coq-ide-8.4pl4-5.mga5.x86_64.rpm
• coq-ide-8.4pl4-5.mga5.i586.rpm
• coq-ide-8.4pl2-3.mga4.x86_64.rpm
• coq-ide-8.4pl2-3.mga4.i586.rpm
• coq-ide-8.4pl1-1.mga3.i586.rpm
• coq-ide-8.4pl1-1.mga3.x86_64.rpm
• coq-ide-8.3pl3-1.mga2.x86_64.rpm
• coq-ide-8.3pl3-1.mga2.i586.rpm
• coq-ide-8.3pl3-1mdv2010.2.i586.rpm
• coq-ide-8.3pl3-1mdv2010.2.x86_64.rpm
• coq-ide-8.3pl3-1.i586.rpm
• coq-ide-8.3pl3-1.i586.rpm
• coq-ide-8.3pl3-1.x86_64.rpm
• coq-ide-8.3pl3-1.x86_64.rpm
• coq-ide-8.3-3mdv2011.0.i586.rpm
• coq-ide-8.3-3mdv2011.0.x86_64.rpm
• coq-ide-8.2pl1-2mdv2010.1.x86_64.rpm
• coq-ide-8.2pl1-2mdv2010.1.i586.rpm
• coq-ide-8.2-2mdv2010.0.x86_64.rpm
• coq-ide-8.2-2mdv2010.0.i586.rpm
• coq-ide-8.2-1mdv2009.1.i586.rpm
• coq-ide-8.2-1mdv2009.1.x86_64.rpm
• coq-ide-8.1pl3-1mdv2009.0.x86_64.rpm
• coq-ide-8.1pl3-1mdv2009.0.i586.rpm
• coq-ide-8.1pl1-1mdv2008.0.i586.rpm
• coq-ide-8.1pl1-1mdv2008.0.x86_64.rpm