Error

two or more packages specified (libwhy3-ocaml-dev unknown)