Highter version of this package:
- coq-coqide-8.4pl4-1.fc20.x86_64.rpm
- coq-coqide-8.4pl4-1.fc20.i686.rpm
- coq-coqide-8.4pl1-1.fc18.x86_64.rpm
- coq-coqide-8.4pl1-1.fc18.i686.rpm
- coq-coqide-8.3pl2-3.fc16.i686.rpm
- coq-coqide-8.3pl2-3.fc16.x86_64.rpm
- coq-coqide-8.3pl2-2.fc16.x86_64.rpm
- coq-coqide-8.3pl2-2.fc16.i686.rpm
- coq-coqide-8.3pl2-2.fc15.i686.rpm
- coq-coqide-8.3pl2-2.fc15.x86_64.rpm
- coq-coqide-8.3pl2-1.fc15.x86_64.rpm
- coq-coqide-8.3pl2-1.fc15.i686.rpm