Control: forwarded -1 https://github.com/hdevtools/hdevtools/issues/94 hdevtools is currently unmaintained: https://github.com/hdevtools/hdevtools/issues/97 If no-one steps up, we will have to remove it from Debian. -- Ilias