sergeyb@pony:~$ sudo apt remove -y tla+toolbox
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following packages were automatically installed and are no longer required:
lua-expat lua-filesystem lua-penlight
Use 'sudo apt autoremove' to remove them.
The following packages will be REMOVED:
0 upgraded, 0 newly installed, 1 to remove and 50 not upgraded.
After this operation, 326 MB disk space will be freed.
(Reading database ... 441938 files and directories currently installed.)
Removing tla+toolbox (1.8.0~20220203-0157) ...
Processing triggers for mime-support (3.64ubuntu1) ...
Processing triggers for hicolor-icon-theme (0.17-2) ...
Processing triggers for gnome-menus (3.36.0-1ubuntu1) ...
Processing triggers for shared-mime-info (1.15-1) ...
Processing triggers for desktop-file-utils (0.24-1ubuntu3) ...
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.