Binary packages for Debian 7.0 (x86_64)