vagrant-opam

Vagrant configuration for a basic Coq programming environment.

Usage

Execute the following 3 commands

$ git clone https://github.com/bennn/vagrant-opam.git
$ cd vagrant-opam
$ vagrant up

You should now be the proud owner of a Linux VM with up-to-date:

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
.gitignore		.gitignore
README.md		README.md
Vagrantfile		Vagrantfile
bootstrap.sh		bootstrap.sh
cleanup.sh		cleanup.sh
setup-coq311.sh		setup-coq311.sh
setup-emacs.sh		setup-emacs.sh
setup-git.sh		setup-git.sh
setup-lxde.sh		setup-lxde.sh
setup-misc.sh		setup-misc.sh
setup-opam.sh		setup-opam.sh
setup-vim.sh		setup-vim.sh