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=719152 Fedora Update System <updates@xxxxxxxxxxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA Bug 719152 depends on bug 719150, which changed state. Bug 719150 Summary: Review Request: flocq - Formalization of floating point numbers for Coq https://bugzilla.redhat.com/show_bug.cgi?id=719150 What |Old Value |New Value ---------------------------------------------------------------------------- Resolution| |ERRATA Status|ON_QA |CLOSED --- Comment #13 from Fedora Update System <updates@xxxxxxxxxxxxxxxxx> 2011-11-10 20:26:28 EST --- gappalib-coq-0.16.0-3.fc16 has been pushed to the Fedora 16 testing repository. -- 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review