Highter version of this package:
Older version of this package:
- coq-8.4pl4-5.mga5.src.rpm
- coq-8.4pl4-1.fc20.src.rpm
- coq-8.4pl2-3.mga4.src.rpm
- coq-8.4pl1-1.mga3.src.rpm
- coq-8.4pl1-1.fc18.src.rpm
- coq-8.3pl3-1.mga2.src.rpm
- coq-8.3pl3-1mdv2010.2.src.rpm
- coq-8.3pl3-1.src.rpm
- coq-8.3pl3-1.src.rpm
- coq-8.3pl2-3.fc16.src.rpm
- coq-8.3pl2-2.fc16.src.rpm
- coq-8.3pl2-2.fc15.src.rpm
- coq-8.3pl2-1.fc15.src.rpm
- coq-8.3-3mdv2011.0.src.rpm
- coq-8.2pl1-2mdv2010.1.src.rpm
- coq-8.2pl1-1.fc12.src.rpm
- coq-8.2-7m.mo6.src.rpm
- coq-8.2-2mdv2010.0.src.rpm
- coq-8.2-1mdv2009.1.src.rpm
- coq-8.1pl3-1mdv2009.0.src.rpm
- coq-8.1pl1-1mdv2008.0.src.rpm
- coq-8.0pl3-5mdv2007.0.src.rpm