Error

two or more packages specified (libgmp-ocaml unknown)