Review swaps

[Jerry James]

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/