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