Hi Aaron! > Hrm, yeah, I don't see an x32 porterbox.
It's trivial to setup your own x32 chroot, see: > https://wiki.debian.org/X32Port Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - [email protected] `. `' Freie Universitaet Berlin - [email protected] `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
