Travis: which vde packages do you have in your repo?