Index of /raspbian/pool/main/a/agda-stdlib

	Name	Last modified	Size
	Parent Directory		-
	agda-stdlib-doc_0.8-2_all.deb	12-Aug-2014 11:40	1.2M
	agda-stdlib-doc_0.12-2_all.deb	23-Jun-2016 20:55	1.2M
	agda-stdlib-doc_0.17-1_all.deb	24-Nov-2018 02:48	1.3M
	agda-stdlib_0.8-2.debian.tar.xz	12-Aug-2014 11:40	4.4K
	agda-stdlib_0.8-2.dsc	12-Aug-2014 11:40	2.0K
	agda-stdlib_0.8-2_all.deb	12-Aug-2014 11:40	22M
	agda-stdlib_0.8.orig.tar.gz	05-Aug-2014 11:28	240K
	agda-stdlib_0.12-2.debian.tar.xz	23-Jun-2016 19:53	4.9K
	agda-stdlib_0.12-2.dsc	23-Jun-2016 19:53	2.1K
	agda-stdlib_0.12-2_all.deb	23-Jun-2016 20:55	16M
	agda-stdlib_0.12.orig.tar.gz	20-Jun-2016 10:47	248K
	agda-stdlib_0.17-1.debian.tar.xz	24-Nov-2018 02:07	5.2K
	agda-stdlib_0.17-1.dsc	24-Nov-2018 02:07	2.2K
	agda-stdlib_0.17-1_all.deb	24-Nov-2018 02:48	31M
	agda-stdlib_0.17.orig.tar.gz	24-Nov-2018 02:07	388K