I need reviews for the following:
ocaml-dpt
https://bugzilla.redhat.com/show_bug.cgi?id=693831
This is used by the theorem prover Isabelle, which I still hope to see
in Fedora some day.
polybori
https://bugzilla.redhat.com/show_bug.cgi?id=742388
This is a package rename review. The original package,
python-polybori, ships the C++ and Python interfaces in the same
package. The package is being renamed to facilitate splitting the C++
and Python interfaces into separate packages.
gap
https://bugzilla.redhat.com/show_bug.cgi?id=756635
This is one of the components of SAGE. The GAP "packages" will have
to be handled separately, as they have a multitude of upstreams, and
there are licensing questions about many of them. I have packaged one
(
https://bugzilla.redhat.com/show_bug.cgi?id=769450), but we need GAP
itself first....
Let me know what I can review for you. Thanks,
--
Jerry James
http://www.jamezone.org/