aboutsummaryrefslogtreecommitdiff
path: root/deb/Vagrantfile
AgeCommit message (Expand)AuthorFilesLines
2017-03-19Removed unneeded deb directory.John MacFarlane1-75/+0
2016-07-21deb Vagrantfile: install curl.John MacFarlane1-1/+1
2015-11-15Build deb pkg on wheezy so we require a lower libc version.John MacFarlane1-2/+2
2015-11-15deb/Vagrantfile improvements.John MacFarlane1-2/+3
2015-11-15Vagrantfile: Install certificates needed for stack to work.John MacFarlane1-0/+1
2015-11-12Debian: added configurable VAGRANTBOX env variable.John MacFarlane1-1/+1
2015-10-24deb/Vagrantfile: share .., so we can put the deb there.John MacFarlane1-1/+1
2015-10-24Added Vagrantfile for building deb in vm.John MacFarlane1-0/+73