Come desinstalare catkin su Debian Unstable (Sid)