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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib-doc_0.3-3_all.deb	03-Mar-2010 21:32	1.1M
	agda-stdlib-doc_0.5-1_all.deb	24-May-2011 21:08	1.5M
	agda-stdlib-doc_0.6-2_all.deb	14-Mar-2012 20:47	1.6M
	agda-stdlib-doc_0.6~darcs20111129t1640-1_all.deb	30-Nov-2011 04:32	1.6M
	agda-stdlib-doc_0.8-2_all.deb	12-Aug-2014 20:40	1.2M
	agda-stdlib-doc_0.12-2_all.deb	24-Jun-2016 05:55	1.2M
	agda-stdlib-doc_0.17-1_all.deb	24-Nov-2018 12:48	1.3M
	agda-stdlib-doc_1.3-2_all.deb	02-Aug-2020 00:34	2.3M
	agda-stdlib-doc_1.7.1-1_all.deb	07-Aug-2022 05:46	2.9M
	agda-stdlib-doc_2.1-4_all.deb	26-Nov-2024 06:39	3.6M
	agda-stdlib_0.3-3_amd64.deb	03-Mar-2010 21:32	12M
	agda-stdlib_0.3-3_i386.deb	04-Mar-2010 03:17	12M
	agda-stdlib_0.5-1_all.deb	24-May-2011 21:08	15M
	agda-stdlib_0.6-2_all.deb	14-Mar-2012 20:47	16M
	agda-stdlib_0.6~darcs20111129t1640-1_all.deb	30-Nov-2011 04:32	16M
	agda-stdlib_0.8-2_all.deb	12-Aug-2014 20:40	22M
	agda-stdlib_0.12-2_all.deb	24-Jun-2016 05:55	16M
	agda-stdlib_0.17-1_all.deb	24-Nov-2018 12:48	31M
	agda-stdlib_1.3-2_all.deb	02-Aug-2020 00:34	70M
	agda-stdlib_1.7.1-1_all.deb	07-Aug-2022 05:46	95M
	agda-stdlib_2.1-4_all.deb	26-Nov-2024 06:39	137M