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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_1.3-2.dsc	2021-02-09 03:43	2.1K
	agda-stdlib_1.7.1-1.dsc	2023-06-14 10:48	2.1K
	agda-stdlib_2.1-3.dsc	2024-10-30 00:10	2.2K
	agda-stdlib_0.17-1.dsc	2018-11-28 22:59	2.2K
	agda-stdlib_0.17-1.debian.tar.xz	2018-11-28 22:59	5.2K
	agda-stdlib_1.3-2.debian.tar.xz	2021-02-09 03:43	5.5K
	agda-stdlib_1.7.1-1.debian.tar.xz	2023-06-14 10:48	5.5K
	agda-stdlib_2.1-3.debian.tar.xz	2024-10-30 00:10	5.9K
	agda-stdlib_0.17.orig.tar.gz	2018-11-28 22:59	388K
	agda-stdlib_1.3.orig.tar.gz	2021-02-09 03:43	734K
	agda-stdlib_1.7.1.orig.tar.gz	2023-06-14 10:48	918K
	agda-stdlib_2.1.orig.tar.gz	2024-10-30 00:10	1.2M
	agda-stdlib-doc_0.17-1_all.deb	2018-11-28 23:03	1.3M
	agda-stdlib-doc_1.3-2_all.deb	2021-02-09 03:44	2.3M
	agda-stdlib-doc_1.7.1-1_all.deb	2023-06-14 18:37	2.9M
	agda-stdlib-doc_2.1-3_all.deb	2024-10-30 00:45	3.5M
	agda-stdlib_0.17-1_all.deb	2018-11-28 23:03	31M
	agda-stdlib_1.3-2_all.deb	2021-02-09 03:44	70M
	agda-stdlib_1.7.1-1_all.deb	2023-06-14 18:37	95M
	agda-stdlib_2.1-3_all.deb	2024-10-30 00:45	133M