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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib-doc_0.3-1ubuntu2_all.deb	16-Feb-2010 08:04	1.1M
	agda-stdlib-doc_0.3-3fakesync_all.deb	26-May-2010 02:05	1.1M
	agda-stdlib-doc_0.5-1_all.deb	17-Jun-2011 13:05	1.5M
	agda-stdlib-doc_0.5-1~ubuntu1_all.deb	28-Feb-2011 20:04	1.5M
	agda-stdlib-doc_0.6-2_all.deb	18-Mar-2012 18:03	1.6M
	agda-stdlib_0.3-1ubuntu2.diff.gz	16-Feb-2010 08:04	3.6K
	agda-stdlib_0.3-1ubuntu2.dsc	16-Feb-2010 08:04	1.3K
	agda-stdlib_0.3-1ubuntu2_amd64.deb	16-Feb-2010 09:10	11M
	agda-stdlib_0.3-1ubuntu2_i386.deb	16-Feb-2010 08:04	11M
	agda-stdlib_0.3-3fakesync.diff.gz	25-May-2010 18:04	3.7K
	agda-stdlib_0.3-3fakesync.dsc	25-May-2010 18:04	1.3K
	agda-stdlib_0.3-3fakesync_amd64.deb	29-May-2010 14:04	11M
	agda-stdlib_0.3-3fakesync_i386.deb	26-May-2010 02:05	11M
	agda-stdlib_0.3.orig.tar.gz	13-Feb-2010 11:04	150K
	agda-stdlib_0.5-1.diff.gz	17-Jun-2011 13:05	3.6K
	agda-stdlib_0.5-1.dsc	17-Jun-2011 13:05	1.9K
	agda-stdlib_0.5-1_all.deb	17-Jun-2011 13:05	15M
	agda-stdlib_0.5-1~ubuntu1.diff.gz	28-Feb-2011 20:04	3.7K
	agda-stdlib_0.5-1~ubuntu1.dsc	28-Feb-2011 20:04	1.9K
	agda-stdlib_0.5-1~ubuntu1_all.deb	28-Feb-2011 20:04	15M
	agda-stdlib_0.5.orig.tar.gz	28-Feb-2011 20:04	193K
	agda-stdlib_0.6-2.debian.tar.gz	18-Mar-2012 17:33	4.1K
	agda-stdlib_0.6-2.dsc	18-Mar-2012 17:33	1.4K
	agda-stdlib_0.6-2_all.deb	18-Mar-2012 18:03	16M
	agda-stdlib_0.6.orig.tar.gz	03-Jan-2012 20:04	211K