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