Debian 7 installation now uses Saltstack's repository.