The 32-bit packages we released a couple of days back should work on Debian 7.4. We will try to fix this for 64-bit with the next stable release.