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