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@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
