diff --git a/vagrant-provision.sh b/vagrant-provision.sh index b5e0e4591..2ff9593dc 100644 --- a/vagrant-provision.sh +++ b/vagrant-provision.sh @@ -1,3 +1,3 @@ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 575159689BEFB442 echo 'deb http://download.fpcomplete.com/ubuntu trusty main'|sudo tee /etc/apt/sources.list.d/fpco.list -sudo apt-get update && sudo apt-get install stack -y +sudo apt-get update && sudo apt-get install stack libtinfo-dev -y