I just tried to reproduce this problem with $ sudo apt-get purge `apt-cache pkgnames | fgrep 32-12` but it did not crash for me. Do you have more crashes with apt?
I just tried to reproduce this problem with
$ sudo apt-get purge `apt-cache pkgnames | fgrep 32-12`
but it did not crash for me. Do you have more crashes with apt?