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: [email protected] ReportedBy: [email protected] QAContact: [email protected] CC: [email protected], [email protected] 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. _______________________________________________ ocaml-devel mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
