File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
agda-stdlib_1.3-2.dsc	2.1 KiB	2020-08-01 14:54
agda-stdlib_1.7.1-1.dsc	2.1 KiB	2022-08-06 19:10
agda-stdlib_2.1-4.dsc	2.2 KiB	2024-11-25 21:03
agda-stdlib_1.3-2.debian.tar.xz	5.5 KiB	2020-08-01 14:54
agda-stdlib_1.7.1-1.debian.tar.xz	5.5 KiB	2022-08-06 19:10
agda-stdlib_2.1-4.debian.tar.xz	5.9 KiB	2024-11-25 21:03
agda-stdlib_1.3.orig.tar.gz	733.8 KiB	2020-07-31 13:50
agda-stdlib_1.7.1.orig.tar.gz	918.1 KiB	2022-08-06 19:10
agda-stdlib_2.1.orig.tar.gz	1.2 MiB	2024-10-18 23:34
agda-stdlib-doc_1.3-2_all.deb	2.3 MiB	2020-08-01 15:34
agda-stdlib-doc_1.7.1-1_all.deb	2.9 MiB	2022-08-06 20:46
agda-stdlib-doc_2.1-4_all.deb	3.6 MiB	2024-11-25 21:39
agda-stdlib_1.3-2_all.deb	69.8 MiB	2020-08-01 15:34
agda-stdlib_1.7.1-1_all.deb	95.4 MiB	2022-08-06 20:46
agda-stdlib_2.1-4_all.deb	137.1 MiB	2024-11-25 21:39