Highter version of this package:
- coq-8.16.1-1.mga9.armv7hl.rpm
- coq-8.16.1-1.mga9.i586.rpm
- coq-8.16.1-1.mga9.x86_64.rpm
- coq-8.16.1-1.mga9.aarch64.rpm
- coq-8.11.0-4.mga8.armv7hl.rpm
- coq-8.11.0-4.mga8.aarch64.rpm
- coq-8.11.0-4.mga8.i586.rpm
- coq-8.11.0-4.mga8.x86_64.rpm
- coq-8.7.1-1.mga7.x86_64.rpm
- coq-8.7.1-1.mga7.aarch64.rpm
- coq-8.7.1-1.mga7.armv7hl.rpm
- coq-8.7.1-1.mga7.i586.rpm
- coq-8.5pl2-2.mga6.armv7hl.rpm
- coq-8.5pl2-2.mga6.armv5tl.rpm
- coq-8.5pl2-2.mga6.i586.rpm
- coq-8.5pl2-2.mga6.x86_64.rpm
- coq-8.4pl4-5.mga5.x86_64.rpm
- coq-8.4pl4-5.mga5.i586.rpm
- coq-8.4pl4-1.fc20.x86_64.rpm
- coq-8.4pl4-1.fc20.i686.rpm
Older version of this package:
- coq-8.4pl1-1.mga3.x86_64.rpm
- coq-8.4pl1-1.mga3.i586.rpm
- coq-8.4pl1-1.fc18.i686.rpm
- coq-8.4pl1-1.fc18.x86_64.rpm
- coq-8.3pl3-1.mga2.x86_64.rpm
- coq-8.3pl3-1.mga2.i586.rpm
- coq-8.3pl3-1mdv2010.2.i586.rpm
- coq-8.3pl3-1mdv2010.2.x86_64.rpm
- coq-8.3pl3-1.x86_64.rpm
- coq-8.3pl3-1.i586.rpm
- coq-8.3pl3-1.i586.rpm
- coq-8.3pl3-1.x86_64.rpm
- coq-8.3pl2-3.fc16.i686.rpm
- coq-8.3pl2-3.fc16.x86_64.rpm
- coq-8.3pl2-2.fc16.x86_64.rpm
- coq-8.3pl2-2.fc16.i686.rpm
- coq-8.3pl2-2.fc15.i686.rpm
- coq-8.3pl2-2.fc15.x86_64.rpm
- coq-8.3pl2-1.fc15.x86_64.rpm
- coq-8.3pl2-1.fc15.i686.rpm
- coq-8.3-3mdv2011.0.i586.rpm
- coq-8.3-3mdv2011.0.x86_64.rpm
- coq-8.2pl1-2mdv2010.1.x86_64.rpm
- coq-8.2pl1-2mdv2010.1.i586.rpm
- coq-8.2pl1-1.fc12.x86_64.rpm
- coq-8.2pl1-1.fc12.i686.rpm
- coq-8.2-2mdv2010.0.x86_64.rpm
- coq-8.2-2mdv2010.0.i586.rpm
- coq-8.2-1mdv2009.1.x86_64.rpm
- coq-8.2-1mdv2009.1.i586.rpm
- coq-8.1pl3-1mdv2009.0.x86_64.rpm
- coq-8.1pl3-1mdv2009.0.i586.rpm
- coq-8.1pl1-1mdv2008.0.i586.rpm
- coq-8.1pl1-1mdv2008.0.x86_64.rpm
- coq-8.0pl3-5mdv2007.0.i586.rpm
- coq-8.0pl3-4mdk.x86_64.rpm