باید اون بسته رو هم پاک کنید. برای اینکار باید اسم اون بسته رو پیدا کنید. دقت کنید که الزاما اسم بسته شبیه اون فایلی که دانلود کردید نیست.
هنوز اون فایل deb. که نصب کردید رو دارید؟ اگه آره برید توی جایی که دانلود شده (احتمالا توی Downloads) بعد دستور زیر رو بزنید تا اسم مربوط به بسته داخل اون فایل deb. رو نمایش بده.
dpkg-deb -f filename.deb Package
بهجای filename.deb اسم اون فایل deb. رو بزارید.
اگه هم فایل اون بسته رو ندارید، سعی کنید اینجوری با apt اسمش رو پیدا کنید.
apt list --installed | grep -i proton
سوئیچ i- برای این هست که grep به بزرگ و کوچک بودن حروف حساس نباشه.
بعد از اینکه اسم بسته رو پیدا کردید، اینجا بگید تا راهنمایی کنیم که چیکار انجام بدید.