[Bug 450323] New: Review Request: <main package name here> - <short summary here>

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.




https://bugzilla.redhat.com/show_bug.cgi?id=450323

           Summary: Review Request: <main package name here> - <short
                    summary here>
           Product: Fedora
           Version: rawhide
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: medium
          Priority: low
         Component: Package Review
        AssignedTo: nobody at fedoraproject.org
        ReportedBy: amdunn at gmail.com
         QAContact: extras-qa at fedoraproject.org
                CC: fedora-package-review at redhat.com,notting at redhat.com


Spec URL: http://ninth-circle.dnsalias.com/~adunn/coq/coq.spec
SRPM URL: http://ninth-circle.dnsalias.com/~adunn/coq/coq-8.1pl3-1.fc9.src.rpm
Description: Review Request: coq - Coq proof management system

I packaged up the formal proof management system Coq and would appreciate a review. This is my first package contribution, and I am in need of a sponsor.

Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. Coq is based off of OCaml.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.