Review swaps

Jerry James loganjerry at
Wed Oct 26 15:18:55 UTC 2011

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?
flocq - Formalization of floating point numbers for Coq
gappalib-coq - Coq support library for gappa (requires flocq)
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. :-)

Jerry James

More information about the devel mailing list