0

I accidentally installed the same package twice:

$ whereis agda
agda: /home/me/.local/bin/agda /home/me/.cabal/bin/agda

I cannot remove it with 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

I went into one of the package dirs and tried

$ sudo make uninstall
make: *** No rule to make target 'uninstall'.  Stop.

How can I get rid of these packages completely?

9
  • plfa.github.io/GettingStarted/…
    – Peter
    Commented Sep 16, 2021 at 4:07
  • stack install --stack-yaml stack-8.8.3.yaml
    – Peter
    Commented Sep 16, 2021 at 4:07
  • Edit that information in your Question above. Do not bury important information in comments. Make your question clear: You seem to be looking for how to uninstall software that you installed using the stack command. Google suggests looking at stackoverflow.com/questions/38636436/…
    – user535733
    Commented Sep 16, 2021 at 4:14
  • Is this Ubuntu if so what version?
    – David
    Commented Sep 16, 2021 at 5:26
  • the version is 18.04
    – Peter
    Commented Sep 16, 2021 at 14:07

0

You must log in to answer this question.

Browse other questions tagged .