ocaml/opam-repository — pull request #1290 by nbraud (2013-11-11 19:35:28+00:00)
Title: Add a conf-gmp package, and use it as a dependency for relevant packages

This doesn't use `pkg-config` as GMP does not provide an appropriate `.pc` file.