libgmp-ocaml section

[Remi Vanicat]

Hello,

I've just seen (while upgrading my unstable computer with aptitude)
that both libgmp-ocaml and libgmp-ocaml-dev are in the section devel.
I belive that the former should be in the libs section, and the latter
in the libdevel one. Am I mistaken ?