Index of /pool/main/v/vagrant

	Name	Last modified	Size
	Parent Directory		-
	vagrant_2.2.3+dfsg-1.dsc	2019-02-05 20:00	2.4K
	vagrant_2.2.3+dfsg-1.debian.tar.xz	2019-02-05 20:00	12K
	vagrant_2.2.3+dfsg-1_all.deb	2019-02-05 20:42	468K
	vagrant_2.2.3+dfsg.orig.tar.xz	2019-02-05 20:00	575K