我不小心安装了同一个包两次:
$ whereis agda
agda: /home/me/.local/bin/agda /home/me/.cabal/bin/agda
我无法使用 sudo apt 删除它:
$ sudo apt remove agda
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package 'agda' is not installed, so not removed
我进入其中一个包目录并尝试
$ sudo make uninstall
make: *** No rule to make target 'uninstall'. Stop.
我怎样才能彻底摆脱这些包裹?