# HG changeset patch
# User Kevin Bullock <kbullock@ringworld.org>
# Date 1441212744 18000
# Node ID a31ffc445f0249b27f80cd5cf78d87ddeb6db470
# Parent  f643b68633820104d44820bf07d1d13748b4b93b
vagrant: update to official Debian 8.1 base box

Debian now rolls their own official Vagrant base boxes, so use that. At
the same time, we're updating from Debian 7.4 (wheezy) to 8.1 (jessie),
and switching from 32-bit to 64-bit (Debian does not provide 32-bit base
boxes).

diff -r f643b6863382 -r a31ffc445f02 contrib/vagrant/Vagrantfile
--- a/contrib/vagrant/Vagrantfile	Tue Sep 01 14:41:41 2015 -0400
+++ b/contrib/vagrant/Vagrantfile	Wed Sep 02 11:52:24 2015 -0500
@@ -1,9 +1,8 @@
 # -*- mode: ruby -*-
 
 Vagrant.configure('2') do |config|
-  # Debian 7.4 32-bit i386 without configuration management software
-  config.vm.box = "puppetlabs/debian-7.4-32-nocm"
-  #config.vm.box = "pnd/debian-wheezy32-basebox"
+  # Debian 8.1 x86_64 without configuration management software
+  config.vm.box = "debian/jessie64"
   config.vm.hostname = "tests"
 
   config.vm.define "tests" do |conf|