Generated packages:
- coq-8.3pl2-1.fc15.i686
- coq-coqide-8.3pl2-1.fc15.i686
- coq-doc-8.3pl2-1.fc15.noarch
- coq-emacs-8.3pl2-1.fc15.noarch
- coq-emacs-el-8.3pl2-1.fc15.noarch
- coq-xemacs-8.3pl2-1.fc15.noarch
- coq-xemacs-el-8.3pl2-1.fc15.noarch
- coq-8.3pl2-1.fc15.x86_64
- coq-coqide-8.3pl2-1.fc15.x86_64
Other version of this rpm:
