Debian Vagrant base boxes

These boxes are not updated anymore ! See to get Debian boxes directly from Vagrant

How to use

Add the base box from to the list of your base boxes:

vagrant box add "debian7"

Start a new Vagrant env using the box:

vagrant init debian7

Verifying the Integrity of the box

Get my GPG Public key from


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 <>"
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


it should match the content of MD5SUM

Last modified: 2015/05/15 12:22