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(a)gmail.com
ReportedBy: abugreporter(a)gmail.com
QAContact: extras-qa(a)fedoraproject.org
CC: amdunn(a)gmail.com, fedora-ocaml-list(a)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.