To uninstall rmligs-german just follow these instructions.
sudo apt-get remove rmligs-german
This will remove just the rmligs-german package itself.
sudo apt-get remove --auto-remove rmligs-german
This will remove the rmligs-german package and any other dependant packages which are no longer needed.
If you also want to delete your local/config files for rmligs-german then this will work.
sudo apt-get purge rmligs-german
Or similarly, like this rmligs-german
sudo apt-get purge --auto-remove rmligs-german
Package | rmligs-german |
Version | 20161207-1 |
Maintainer | Roland Rosenfeld <[email protected]> |
Home page | https://www.j3e.de/ispell/igerman98/ |
Description | remove incorrectly used ligatures from LaTeX documents |
Distro | debian |
Release | stretch |
Repo | main |
Section | text |