Como instalar why3-coq no Debian Unstable (Sid)