Eu posso confirmar este problema na instalação limpa do Ubuntu 18.04 LTS com apenas um pacote redet
instalado:
$ sudo apt-get install redet
$ redet
Error in startup script: can't find package Itcl 3.4
while executing
"package require Itcl 3.4"
(file "/usr/share/tcltk/iwidgets4.1.0/iwidgets.tcl" line 18)
invoked from within
"source /usr/share/tcltk/iwidgets4.1.0/iwidgets.tcl"
("package ifneeded Iwidgets 4.1.0" script)
invoked from within
"package require Iwidgets"
(file "/usr/bin/redet" line 27)
$ dpkg -S /usr/share/tcltk/iwidgets4.1.0/iwidgets.tcl
iwidgets4: /usr/share/tcltk/iwidgets4.1.0/iwidgets.tcl
$ dpkg -S /usr/bin/redet
redet: /usr/bin/redet
$ echo "puts [package req Itcl]" | tclsh
3.4
Então eu relatei o erro 1768973 para o launchpad.
O trabalho rápido e sujo é baixar o pacote do Xenial, instalá-lo e fixá-lo:
cd ~/Downloads
wget http://mirrors.kernel.org/ubuntu/pool/universe/i/itcl3/itcl3_3.4.3-1_amd64.deb
sudo apt-get install ./itcl3_3.4.3-1_amd64.deb
cat <<EOF | sudo tee /etc/apt/preferences.d/pin-itcl
Package: itcl3
Pin: version 3.4.3-1
Pin-Priority: 1337
EOF
Após essas ações, redet
é lançado normalmente: