Red Hat Bugzilla – Bug 436875
Request to package Coq proof assistant written in OCaml
Last modified: 2008-08-04 04:13:14 EDT
This is a tracking bug for packaging Coq, a proof assistant, for Fedora:
Changing version to '9' as part of upcoming Fedora 9 GA.
More information and reason for this action is here:
Back to Rawhide.
Candidate review request at https://bugzilla.redhat.com/show_bug.cgi?id=450323 .
I thought I would also mention that this is my first package, and so I'm in need
of a sponsor.