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

	Name	Last modified	Size
	Parent Directory		-
	variety_0.7.1.orig.tar.gz	2018-10-29 04:18	827K
	variety_0.7.1-2_all.deb	2019-04-22 22:37	587K
	variety_0.7.1-2.dsc	2019-04-22 22:12	1.8K
	variety_0.7.1-2.debian.tar.xz	2019-04-22 22:12	8.3K
	variety_0.6.3.orig.tar.gz	2016-11-12 08:45	853K
	variety_0.6.3-5~bpo8+1_all.deb	2017-07-13 12:21	595K
	variety_0.6.3-5~bpo8+1.dsc	2017-07-13 12:21	2.0K
	variety_0.6.3-5~bpo8+1.debian.tar.xz	2017-07-13 12:21	19K
	variety_0.6.3-5+deb9u1_all.deb	2018-05-22 21:24	595K
	variety_0.6.3-5+deb9u1.dsc	2018-05-22 21:24	2.0K
	variety_0.6.3-5+deb9u1.debian.tar.xz	2018-05-22 21:24	21K