I downloaded the 3 packages on another machine, transferred by usb-stick and installed with sudo dpkg -i *.deb
I downloaded the 3 packages on another machine, transferred by usb-stick and installed with sudo dpkg -i *.deb