How to remove bibledit-bibletime from Debian 9 (Stretch)