How to install coq-theories on Debian Unstable (Sid)