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