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