Cómo instalar coq-theories en Debian Unstable (Sid)