How to remove givaro-dev-doc from Debian 9 (Stretch)