Highter version of this package:
- coq-ide-8.16.1-1.mga9.armv7hl.rpm
- coq-ide-8.16.1-1.mga9.aarch64.rpm
- coq-ide-8.16.1-1.mga9.x86_64.rpm
- coq-ide-8.16.1-1.mga9.i586.rpm
Older version of this package:
- 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.x86_64.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.i586.rpm
- coq-ide-8.4pl4-5.mga5.x86_64.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.i586.rpm
- coq-ide-8.3pl3-1.mga2.x86_64.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.x86_64.rpm
- coq-ide-8.3pl3-1.x86_64.rpm
- coq-ide-8.3pl3-1.i586.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.i586.rpm
- coq-ide-8.2-2mdv2010.0.x86_64.rpm
- coq-ide-8.2-1mdv2009.1.x86_64.rpm
- coq-ide-8.2-1mdv2009.1.i586.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
- coq-ide-8.0pl3-5mdv2007.0.i586.rpm
- coq-ide-8.0pl3-4mdk.x86_64.rpm
