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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_0.6-2.dsc	2012-03-21 14:29	1.4K
	agda-stdlib_0.5-1.dsc	2011-08-13 03:07	1.9K
	agda-stdlib_0.5-1~ubuntu1.dsc	2011-03-01 01:04	1.9K
	agda-stdlib_0.8-2.dsc	2015-01-05 00:41	2.0K
	agda-stdlib_0.5-1.diff.gz	2011-08-13 03:07	3.6K
	agda-stdlib_0.5-1~ubuntu1.diff.gz	2011-03-01 01:04	3.7K
	agda-stdlib_0.6-2.debian.tar.gz	2012-03-21 14:29	4.1K
	agda-stdlib_0.8-2.debian.tar.xz	2015-01-05 00:41	4.4K
	agda-stdlib_0.5.orig.tar.gz	2011-03-01 01:04	193K
	agda-stdlib_0.6.orig.tar.gz	2012-03-09 13:34	211K
	agda-stdlib_0.8.orig.tar.gz	2015-01-05 00:41	240K
	agda-stdlib-doc_0.8-2_all.deb	2014-12-20 17:46	1.2M
	agda-stdlib-doc_0.5-1_all.deb	2011-08-13 03:07	1.5M
	agda-stdlib-doc_0.5-1~ubuntu1_all.deb	2011-03-01 01:04	1.5M
	agda-stdlib-doc_0.6-2_all.deb	2012-03-22 17:36	1.6M
	agda-stdlib-doc_0.7-1_all.deb	2013-04-27 13:21	1.7M
	agda-stdlib-doc_0.7-2_all.deb	2013-09-27 02:44	1.7M
	agda-stdlib_0.5-1_all.deb	2011-08-13 03:07	15M
	agda-stdlib_0.5-1~ubuntu1_all.deb	2011-03-01 01:04	15M
	agda-stdlib_0.6-2_all.deb	2012-03-22 17:35	16M
	agda-stdlib_0.7-1_all.deb	2013-04-27 13:21	17M
	agda-stdlib_0.7-2_all.deb	2013-09-27 02:44	17M
	agda-stdlib_0.8-2_all.deb	2014-12-20 17:45	22M