[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Uninstall TLA+

Hi everyone,

I am trying to uninstall TLA+ and the TLA+ Toolbox for a clean install afterwards.
I'm running Ubuntu 20.04.

Currently, I have the following packages installed listed by running sudo apt list | grep tla

tla+toolbox/now 1.8.0~20211216-0507 amd64 [installed,local]
tla-doc/focal,focal 1.3.5+dfsg1-2build1 all
tla/focal 1.3.5+dfsg1-2build1 amd64

Uninstalling them by name does not work. Can someone help?

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/9ccef7c3-7f09-4012-ac12-70965ae632a1n%40googlegroups.com.