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,