How to remove coq-highschoolgeometry from Debian Unstable (Sid)