How to remove coq-theories from Debian 9 (Stretch)