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