3 ms·The downloaded .deb is only 32 bit, with no obvious 64 bit option on the page.by chrisdew 15y agoThe downloaded .deb is only 32 bit, with no obvious 64 bit option on the page.