Index of /Debian/pool/main/a/adminer

	Name	Last modified	Size
	Parent Directory		-
	adminer_3.3.3-1+deb8u1.debian.tar.xz	07-May-2018 17:09	3.3K
	adminer_3.3.3-1+deb8u1.dsc	07-May-2018 17:09	1.8K
	adminer_3.3.3-1+deb8u1_all.deb	07-May-2018 17:09	237K
	adminer_3.3.3.orig.tar.gz	08-Mar-2012 22:02	297K
	adminer_4.2.5-3+deb9u1.debian.tar.xz	01-Apr-2018 09:41	2.7K
	adminer_4.2.5-3+deb9u1.dsc	01-Apr-2018 09:41	1.8K
	adminer_4.2.5-3+deb9u1_all.deb	01-Apr-2018 09:41	377K
	adminer_4.2.5.orig.tar.bz2	09-Aug-2016 12:29	400K
	adminer_4.7.1-1.debian.tar.xz	29-Jan-2019 08:40	3.8K
	adminer_4.7.1-1.dsc	29-Jan-2019 08:40	1.8K
	adminer_4.7.1-1_all.deb	29-Jan-2019 08:40	432K
	adminer_4.7.1.orig.tar.gz	29-Jan-2019 08:40	579K