I've got 3 packages languishing in the review queue that I need for a
package update.  Would someone swap reviews with me for these?

https://bugzilla.redhat.com/show_bug.cgi?id=719150
flocq - Formalization of floating point numbers for Coq

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


The first two should be dead easy.  From Fedora's point of view,
they're just data packages; no libraries or binaries are involved.
The third one is a bit complex.  I had to tweak a lot of pathnames to
match existing Fedora practice, as well as do some violence to the
Makefiles to eliminate unused direct shared library dependencies and
undefined non-weak symbols.  So please swap me for 2 easy and one hard
review of your own. :-)

Regards,
--
Jerry James
http://www.jamezone.org/
--
devel mailing list
devel@list...
https://admin.fedoraproject.org/mailman/listinfo/devel