loganjerry at gmail.com
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. :-)
More information about the devel