How to install libgnatcoll-doc on Debian Unstable (Sid)