@@ -12,7 +12,7 @@ Vagrant.configure(2) do |config|
1212
1313 # Every Vagrant development environment requires a box. You can search for
1414 # boxes at https://atlas.hashicorp.com/search.
15− config.vm.box = ENV['VAGRANTBOX'] || "ubuntu/trusty64"
15+ config.vm.box = ENV['VAGRANTBOX'] || "ubuntu/precise64"
1616
1717 # Disable automatic box update checking. If you disable this, then
1818 # boxes will only be checked for updates when the user runs
@@ -67,7 +67,7 @@ Vagrant.configure(2) do |config|
6767 config.vm.provision "shell", inline: <<-SHELL
6868 wget -q https://s3.amazonaws.com/download.fpcomplete.com/debian/fpco.key
6969 sudo apt-key add fpco.key
70− echo 'deb http://download.fpcomplete.com/ubuntu/trusty stable main'|sudo tee /etc/apt/sources.list.d/fpco.list
70+ echo 'deb http://download.fpcomplete.com/ubuntu/precise stable main'|sudo tee /etc/apt/sources.list.d/fpco.list
7171 sudo apt-get update
7272 sudo apt-get install -y stack build-essential debhelper dh-make
7373 sudo cp /vagrant_data/deb/*.pem /etc/ssl/certs/