For future reference, the "correct" way to handle this would have been to enable Trisquel's 32-bit packages via
$ sudo dpkg --add-architecture i386 $ sudo apt updateand to install the 32-bit packages you need via apt. For example, to instal the 32-bit version of package `foo`, you would run
$ sudo apt install foo:i386
