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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_1.1-1_all.deb	2019-09-14 01:47	45M
	agda-stdlib_0.17-1_all.deb	2018-11-24 12:48	31M
	agda-stdlib_0.8-2_all.deb	2014-08-12 19:40	22M
	agda-stdlib_0.12-2_all.deb	2016-06-24 04:55	16M
	agda-stdlib-doc_1.1-1_all.deb	2019-09-14 01:47	1.8M
	agda-stdlib-doc_0.17-1_all.deb	2018-11-24 12:48	1.3M
	agda-stdlib-doc_0.12-2_all.deb	2016-06-24 04:55	1.2M
	agda-stdlib-doc_0.8-2_all.deb	2014-08-12 19:40	1.2M
	agda-stdlib_1.1.orig.tar.gz	2019-09-04 23:26	557K
	agda-stdlib_0.17.orig.tar.gz	2018-11-24 12:07	388K
	agda-stdlib_0.12.orig.tar.gz	2016-06-20 18:47	248K
	agda-stdlib_0.8.orig.tar.gz	2014-08-05 19:28	240K
	agda-stdlib_1.1-1.debian.tar.xz	2019-09-04 23:26	5.4K
	agda-stdlib_0.17-1.debian.tar.xz	2018-11-24 12:07	5.2K
	agda-stdlib_0.12-2.debian.tar.xz	2016-06-24 03:53	4.9K
	agda-stdlib_0.8-2.debian.tar.xz	2014-08-12 19:40	4.4K
	agda-stdlib_0.17-1.dsc	2018-11-24 12:07	2.2K
	agda-stdlib_0.12-2.dsc	2016-06-24 03:53	2.1K
	agda-stdlib_1.1-1.dsc	2019-09-04 23:26	2.1K
	agda-stdlib_0.8-2.dsc	2014-08-12 19:40	2.0K