Index of /debian/pool/main/v/variety

	Name	Last modified	Size
	Parent Directory		-
	variety_0.6.3-5+deb9u1.debian.tar.xz	22-May-2018 22:24	21K
	variety_0.6.3-5+deb9u1.dsc	22-May-2018 22:24	2.0K
	variety_0.6.3-5+deb9u1_all.deb	22-May-2018 22:24	595K
	variety_0.6.3.orig.tar.gz	12-Nov-2016 08:45	853K
	variety_0.7.1-2.debian.tar.xz	22-Apr-2019 23:12	8.3K
	variety_0.7.1-2.dsc	22-Apr-2019 23:12	1.8K
	variety_0.7.1-2_all.deb	22-Apr-2019 23:37	587K
	variety_0.7.1.orig.tar.gz	29-Oct-2018 04:18	827K