Highter version of this package:
- coq-debug-8.3pl3-1mdv2010.2.i586.rpm
- coq-debug-8.3pl3-1mdv2010.2.x86_64.rpm
- coq-debug-8.3pl3-1.x86_64.rpm
- coq-debug-8.3pl3-1.i586.rpm
- coq-debug-8.3pl3-1.x86_64.rpm
- coq-debug-8.3pl3-1.i586.rpm
- coq-debug-8.3-3mdv2011.0.x86_64.rpm
- coq-debug-8.3-3mdv2011.0.i586.rpm
- coq-debug-8.2pl1-2mdv2010.1.x86_64.rpm
- coq-debug-8.2pl1-2mdv2010.1.i586.rpm
- coq-debug-8.2-2mdv2010.0.i586.rpm
- coq-debug-8.2-2mdv2010.0.x86_64.rpm
- coq-debug-8.2-1mdv2009.1.x86_64.rpm
- coq-debug-8.2-1mdv2009.1.i586.rpm