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/