How to remove agda from Debian 9 (Stretch)