Generated packages:
- coq-8.3-3mdv2011.0.i586
- coq-debug-8.3-3mdv2011.0.i586
- coq-ide-8.3-3mdv2011.0.i586
- coq-8.3-3mdv2011.0.x86_64
- coq-debug-8.3-3mdv2011.0.x86_64
- coq-ide-8.3-3mdv2011.0.x86_64
Other version of this rpm:
Generated packages:
Other version of this rpm: