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 ?