Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=691913
Fedora Update System <updates(a)fedoraproject.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ON_QA |CLOSED
Fixed In Version| |ocaml-camlp5-6.02.3-1.fc16
Resolution| |ERRATA
Last Closed| |2011-11-10 12:40:26
--- Comment #13 from Fedora Update System <updates(a)fedoraproject.org> 2011-11-10
12:40:26 EST ---
ocaml-camlp5-6.02.3-1.fc16, coq-8.3pl2-3.fc16 has been pushed to the Fedora 16
stable repository. If problems still persist, please make note of it in this
bug report.
--
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.