Comment 33 for bug 1813745

Revision history for this message
Stéphane Guillard (sg2) wrote :

Download the .deb files to an empty directory, then open terminal,
$ cd $(the directory)
$ sudo dpkg -i *deb