Last modified: 2014-05-06 15:20:47 UTC
apt.wikimedia.org has Vagrant 1.0.1, upstream is 1.4.3. We should import their package in our repository.
I have abandonned Bug 60792 - run tests for mediawiki/vagrant