A resposta veio por engano; Acabei de remover gnome-terminal
sudo apt-get remove gnome-terminal
a atualização foi bem-sucedida para gnome-terminal-data
sudo apt-get update
então eu reinstalei o gnome-terminal
sudo apt-get install gnome-terminal