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

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
agda-stdlib_2.1.orig.tar.gz	31/10/24 17:1631/10/24	1.2 MiB	[Save][Download]
agda-stdlib-doc_0.11-1_all.deb	05/01/16 01:2005/01/16	1.2 MiB	[Save][Download]
agda-stdlib_2.1-3_all.deb	31/10/24 19:1931/10/24	136 MiB	[Save][Download]
agda-stdlib-doc_0.14-1_all.deb	26/11/17 18:0426/11/17	1 MiB	[Save][Download]
agda-stdlib-doc_0.7-2_all.deb	27/05/13 23:3327/05/13	1.7 MiB	[Save][Download]
agda-stdlib-doc_1.1-1_all.deb	06/09/19 15:4806/09/19	1.8 MiB	[Save][Download]
agda-stdlib-doc_1.3-2_all.deb	02/08/20 05:4302/08/20	2.3 MiB	[Save][Download]
agda-stdlib-doc_1.7.1-1_all.deb	26/08/22 19:0926/08/22	2.8 MiB	[Save][Download]
agda-stdlib_0.11-1.debian.tar.xz	04/01/16 23:2504/01/16	4.5 KiB	[Save][Download]
agda-stdlib_0.11-1.dsc	04/01/16 23:2504/01/16	2.1 KiB	[Save][Download]
agda-stdlib_0.11-1_all.deb	05/01/16 01:2005/01/16	16.7 MiB	[Save][Download]
agda-stdlib_0.11.orig.tar.gz	04/01/16 23:2504/01/16	247 KiB	[Save][Download]
agda-stdlib_0.14-1.debian.tar.xz	26/11/17 17:0826/11/17	5.1 KiB	[Save][Download]
agda-stdlib_0.14-1.dsc	26/11/17 17:0826/11/17	2.1 KiB	[Save][Download]
agda-stdlib_0.14-1_all.deb	26/11/17 18:0426/11/17	17.3 MiB	[Save][Download]
agda-stdlib_0.14.orig.tar.gz	26/11/17 11:1426/11/17	279 KiB	[Save][Download]
agda-stdlib_0.7-2.debian.tar.gz	27/05/13 23:3327/05/13	4.4 KiB	[Save][Download]
agda-stdlib_0.7-2.dsc	27/05/13 23:3327/05/13	2 KiB	[Save][Download]
agda-stdlib_0.7-2_all.deb	27/05/13 23:3327/05/13	17.3 MiB	[Save][Download]
agda-stdlib_0.7.orig.tar.gz	10/04/13 18:0310/04/13	221 KiB	[Save][Download]
agda-stdlib_1.1-1.debian.tar.xz	06/09/19 15:4806/09/19	5.4 KiB	[Save][Download]
agda-stdlib_1.1-1.dsc	06/09/19 15:4806/09/19	2.1 KiB	[Save][Download]
agda-stdlib_1.1-1_all.deb	06/09/19 15:4806/09/19	45.2 MiB	[Save][Download]
agda-stdlib_1.1.orig.tar.gz	04/09/19 13:3804/09/19	557 KiB	[Save][Download]
agda-stdlib_1.3-2.debian.tar.xz	02/08/20 05:1302/08/20	5.5 KiB	[Save][Download]
agda-stdlib_1.3-2.dsc	02/08/20 05:1302/08/20	2.1 KiB	[Save][Download]
agda-stdlib_1.3-2_all.deb	02/08/20 05:4302/08/20	69.8 MiB	[Save][Download]
agda-stdlib_1.3.orig.tar.gz	01/08/20 23:3301/08/20	734 KiB	[Save][Download]
agda-stdlib_1.7.1-1.debian.tar.xz	06/08/22 23:1906/08/22	5.5 KiB	[Save][Download]
agda-stdlib_1.7.1-1.dsc	06/08/22 23:1906/08/22	2.1 KiB	[Save][Download]
agda-stdlib_1.7.1-1_all.deb	26/08/22 19:0926/08/22	98 MiB	[Save][Download]
agda-stdlib_1.7.1.orig.tar.gz	06/08/22 23:1906/08/22	918 KiB	[Save][Download]
agda-stdlib_1.7.3-1.debian.tar.xz	04/11/23 18:1504/11/23	5.6 KiB	[Save][Download]
agda-stdlib_1.7.3-1.dsc	04/11/23 18:1504/11/23	2.1 KiB	[Save][Download]
agda-stdlib_1.7.3.orig.tar.gz	04/11/23 18:1504/11/23	920 KiB	[Save][Download]
agda-stdlib-doc_1.7.3-1_all.deb	10/11/23 23:5010/11/23	2.8 MiB	[Save][Download]
agda-stdlib_1.7.3-1_all.deb	10/11/23 23:5010/11/23	115 MiB	[Save][Download]
agda-stdlib-doc_2.1-3_all.deb	31/10/24 19:1931/10/24	3.4 MiB	[Save][Download]
agda-stdlib_2.1-3.debian.tar.xz	31/10/24 17:1631/10/24	5.9 KiB	[Save][Download]
agda-stdlib_2.1-3.dsc	31/10/24 17:1631/10/24	2.2 KiB	[Save][Download]