Index of /ubuntu/pool/universe/a/agda-stdlib

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_0.17-1_all.deb	2018-12-14 19:53	31M
	agda-stdlib_0.14-1_all.deb	2017-11-27 02:04	17M
	agda-stdlib_0.7-2_all.deb	2013-05-28 07:33	17M
	agda-stdlib_0.11-1_all.deb	2016-01-05 09:20	17M
	agda-stdlib_0.6-2_all.deb	2012-03-19 06:03	16M
	agda-stdlib_0.13-1_all.deb	2017-07-10 20:28	16M
	agda-stdlib-doc_0.7-2_all.deb	2013-05-28 07:33	1.7M
	agda-stdlib-doc_0.6-2_all.deb	2012-03-19 06:03	1.6M
	agda-stdlib-doc_0.17-1_all.deb	2018-12-14 19:53	1.3M
	agda-stdlib-doc_0.13-1_all.deb	2017-07-10 20:28	1.3M
	agda-stdlib-doc_0.11-1_all.deb	2016-01-05 09:20	1.2M
	agda-stdlib-doc_0.14-1_all.deb	2017-11-27 02:04	1.0M
	agda-stdlib_0.17.orig.tar.gz	2018-11-24 13:23	388K
	agda-stdlib_0.14.orig.tar.gz	2017-11-26 19:14	279K
	agda-stdlib_0.13.orig.tar.gz	2017-07-07 13:08	258K
	agda-stdlib_0.11.orig.tar.gz	2016-01-05 07:25	247K
	agda-stdlib_0.7.orig.tar.gz	2013-04-11 02:03	221K
	agda-stdlib_0.6.orig.tar.gz	2012-01-04 09:04	211K
	agda-stdlib_0.17-1.debian.tar.xz	2018-11-24 13:23	5.2K
	agda-stdlib_0.14-1.debian.tar.xz	2017-11-27 01:08	5.1K
	agda-stdlib_0.13-1.debian.tar.xz	2017-07-07 13:08	4.9K
	agda-stdlib_0.11-1.debian.tar.xz	2016-01-05 07:25	4.5K
	agda-stdlib_0.7-2.debian.tar.gz	2013-05-28 07:33	4.4K
	agda-stdlib_0.6-2.debian.tar.gz	2012-03-19 05:33	4.1K
	agda-stdlib_0.17-1.dsc	2018-11-24 13:23	2.2K
	agda-stdlib_0.11-1.dsc	2016-01-05 07:25	2.1K
	agda-stdlib_0.14-1.dsc	2017-11-27 01:08	2.1K
	agda-stdlib_0.13-1.dsc	2017-07-07 13:08	2.0K
	agda-stdlib_0.7-2.dsc	2013-05-28 07:33	2.0K
	agda-stdlib_0.6-2.dsc	2012-03-19 05:33	1.4K