[Bug 622173] Review Request: gappa - Prove programs with floating-point or fixed-point arithmetic

bugzilla at redhat.com bugzilla at redhat.com
Mon Sep 27 03:37:43 UTC 2010


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=622173

Fedora Update System <updates at fedoraproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|MODIFIED                    |ON_QA

--- Comment #14 from Fedora Update System <updates at fedoraproject.org> 2010-09-26 23:37:42 EDT ---
gappa-0.13.0-4.fc14 has been pushed to the Fedora 14 testing repository.  If
problems still persist, please make note of it in this bug report.
 If you want to test the update, you can install it with 
 su -c 'yum --enablerepo=updates-testing update gappa'.  You can provide
feedback for this update here:
https://admin.fedoraproject.org/updates/gappa-0.13.0-4.fc14

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



More information about the package-review mailing list