fingolfin/GAP-ubuntu-PPA — pull request #2 by ChrisJefferson (2014-11-11 23:04:16+00:00)
Title: Update vagrantfile to install packages

This makes vagrant install the required packages for building packages.