# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant.configure(2) do |config|
  config.vm.box = "ubuntu/trusty64"

  config.vm.provider "virtualbox" do |vb|
    vb.name = "Coq 8.5 rc1"
    vb.memory = "2048"
  end

  config.vm.provision :shell, path: "provision.sh"
end
