ocaml/opam-repository — pull request #2992 by hannesm (2014-11-01 18:34:34+00:00)
Title: add depopts for centos

I've no centos system around, but did some research on the internet (and found the libraries are named gmp and gmp-devel, please correct me if I'm wrong)..