[Bug 676688] New: Upgrade to version 8.3

[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.

Summary: Upgrade to version 8.3

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

           Summary: Upgrade to version 8.3
           Product: Fedora
           Version: 14
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Severity: unspecified
          Priority: unspecified
         Component: coq
        AssignedTo: amdunn at gmail.com
        ReportedBy: abugreporter at gmail.com
         QAContact: extras-qa at fedoraproject.org
                CC: amdunn at gmail.com, fedora-ocaml-list at redhat.com
    Classification: Fedora


Fedora 14 packaged 8.2, but 8.3 is already available since October 2010.

-- 
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.