Generated packages:
- coq-8.2pl1-2mdv2010.1.i586
- coq-debug-8.2pl1-2mdv2010.1.i586
- coq-ide-8.2pl1-2mdv2010.1.i586
- coq-8.2pl1-2mdv2010.1.x86_64
- coq-debug-8.2pl1-2mdv2010.1.x86_64
- coq-ide-8.2pl1-2mdv2010.1.x86_64
Other version of this rpm:
Generated packages:
Other version of this rpm: