These boxes are not updated anymore ! See https://wiki.debian.org/Vagrant to get Debian boxes directly from Vagrant

Add the base box from http://basebox.libera.cc/debian-wheezy-64.box to the list of your base boxes:

vagrant box add "debian7" http://basebox.libera.cc/debian-wheezy-64.box

Start a new Vagrant env using the box:

vagrant init debian7

Get my GPG Public key from

wget http://libera.cc/emmanuel_kasper_kasprzyk.gpg

Add my GPG public key to your key ring ( you can also find this key in the Debian Maintainer keyring)

gpg --import emmanuel_kasper_kasprzyk.gpg

Verify signature of the MD5SUM file:

gpg --verify MD5SUM.gpg                             
gpg: Signature made Sat Aug 31 11:25:22 2013 CEST using RSA key ID 91E95791
gpg: Good signature from "Emmanuel "Kasper" Kasprzyk <emmanuel@libera.cc>"
gpg: WARNING: This key is not certified with a trusted signature!
gpg:          There is no indication that the signature belongs to the owner.
Primary key fingerprint: F625 8DF2 BFF9 A73F 5B1E  15C3 0645 6DD7 91E9 5791

Compute the md5sum of the downloaded file

md5 debian-wheezy-64.box

it should match the content of MD5SUM