On Wed, Oct 26, 2011 at 9:18 AM, Jerry James <loganjerry(a)gmail.com> wrote:
https://bugzilla.redhat.com/show_bug.cgi?id=719152
gappalib-coq - Coq support library for gappa (requires flocq)
https://bugzilla.redhat.com/show_bug.cgi?id=719757
apron - Numerical abstract domain library
Thomas swapped 1 review with me for the flocq review, but I still need
reviews for gappalib-coq (easy) and apron (not so easy). Would anyone
like to swap a review or 2 with me for one or both of these?
Regards,
--
Jerry James
http://www.jamezone.org/