ลบการติดตั้งแพ็คเกจที่ซ้ำกัน เมื่อ "ไม่ได้ติดตั้งแพ็คเกจ [] จึงไม่ถูกลบ" และสร้าง: *** ไม่มีกฎที่จะทำให้เป้าหมาย 'ถอนการติดตั้ง'

ฉันติดตั้งแพ็คเกจเดียวกันโดยบังเอิญสองครั้ง:

$ ที่ไหน agda
agda: /home/me/.local/bin/agda /home/me/.cabal/bin/agda

ฉันไม่สามารถลบออกได้ด้วย sudo apt:

$ sudo apt ลบ agda
กำลังอ่านรายการแพ็กเกจ...เสร็จแล้ว
สร้างต้นไม้พึ่งพา       
กำลังอ่านข้อมูลสถานะ...
ไม่ได้ติดตั้งแพ็คเกจ 'agda' ดังนั้นจึงไม่ถูกลบ

ฉันเข้าไปในหนึ่งในแพ็คเกจ dirs และลอง

$ sudo ทำการถอนการติดตั้ง
ทำ: *** ไม่มีกฎที่จะทำให้เป้าหมาย 'ถอนการติดตั้ง' หยุด.

ฉันจะกำจัดแพ็คเกจเหล่านี้ให้หมดไปได้อย่างไร?