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

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
agda-bin_2.6.4.3-1_amd64.deb	25/10/24 21:1525/10/24	10.1 MiB	[Save][Download]
agda-bin_2.3.2.2-1_amd64.deb	06/11/13 17:2806/11/13	5.2 MiB	[Save][Download]
agda_2.6.4.3-1.debian.tar.xz	25/10/24 19:1125/10/24	10.2 KiB	[Save][Download]
agda-bin_2.3.2.2-1_i386.deb	06/11/13 17:2806/11/13	4.9 MiB	[Save][Download]
agda_2.6.3-1build1.dsc	08/11/23 09:3608/11/23	4.8 KiB	[Save][Download]
agda-bin_2.4.2.5-1build1_amd64.deb	12/01/16 22:5912/01/16	4.6 MiB	[Save][Download]
agda_2.6.3-1build1_all.deb	10/11/23 20:1910/11/23	3.7 KiB	[Save][Download]
agda-bin_2.4.2.5-1build1_i386.deb	12/01/16 22:4512/01/16	4.6 MiB	[Save][Download]
agda-bin_2.5.3-3build1_amd64.deb	25/11/17 20:0925/11/17	5.5 MiB	[Save][Download]
libghc-agda-dev_2.3.2.2-1_amd64.deb	06/11/13 17:2806/11/13	13 MiB	[Save][Download]
agda-bin_2.5.3-3build1_i386.deb	25/11/17 20:0925/11/17	5.5 MiB	[Save][Download]
libghc-agda-dev_2.3.2.2-1_i386.deb	06/11/13 17:2806/11/13	12.3 MiB	[Save][Download]
agda-bin_2.6.0.1-1build4_amd64.deb	08/02/20 13:1908/02/20	6.3 MiB	[Save][Download]
libghc-agda-dev_2.4.2.5-1build1_amd64.deb	12/01/16 22:5912/01/16	10.2 MiB	[Save][Download]
agda-bin_2.6.1-1build2.1_amd64.deb	16/09/21 08:2816/09/21	9.1 MiB	[Save][Download]
libghc-agda-dev_2.4.2.5-1build1_i386.deb	12/01/16 22:4512/01/16	10.1 MiB	[Save][Download]
elpa-agda2-mode_2.6.3-1build1_all.deb	10/11/23 20:1910/11/23	45.2 KiB	[Save][Download]
agda-bin_2.6.3-1build1_amd64.deb	10/11/23 20:1910/11/23	10.5 MiB	[Save][Download]
agda-mode_2.3.2.2-1_all.deb	06/11/13 17:2806/11/13	47 KiB	[Save][Download]
libghc-agda-dev_2.5.3-3build1_amd64.deb	25/11/17 20:0925/11/17	15.1 MiB	[Save][Download]
agda-mode_2.4.2.5-1build1_all.deb	12/01/16 22:5912/01/16	36.4 KiB	[Save][Download]
libghc-agda-dev_2.5.3-3build1_i386.deb	25/11/17 20:0925/11/17	14.9 MiB	[Save][Download]
agda-mode_2.5.3-3build1_all.deb	25/11/17 20:0925/11/17	3.5 KiB	[Save][Download]
libghc-agda-dev_2.6.0.1-1build4_amd64.deb	08/02/20 13:1908/02/20	18.8 MiB	[Save][Download]
agda-mode_2.6.0.1-1build4_all.deb	08/02/20 13:1908/02/20	3.6 KiB	[Save][Download]
agda_2.6.4.3-1.dsc	25/10/24 19:1125/10/24	5.1 KiB	[Save][Download]
agda_2.3.2.2-1.debian.tar.gz	06/11/13 17:2806/11/13	7.2 KiB	[Save][Download]
agda_2.3.2.2-1.dsc	06/11/13 17:2806/11/13	3.2 KiB	[Save][Download]
agda_2.6.4.3-1_all.deb	25/10/24 21:1525/10/24	3.6 KiB	[Save][Download]
agda_2.3.2.2-1_all.deb	06/11/13 17:2806/11/13	2.9 KiB	[Save][Download]
agda-bin_2.6.3-2_amd64.deb	07/09/24 06:1807/09/24	10.4 MiB	[Save][Download]
agda_2.3.2.2.orig.tar.gz	06/11/13 17:2806/11/13	1.9 MiB	[Save][Download]
libghc-agda-dev_2.6.1-1build2.1_amd64.deb	16/09/21 08:2816/09/21	38.4 MiB	[Save][Download]
agda_2.4.2.5-1build1.debian.tar.xz	12/01/16 22:3012/01/16	7.7 KiB	[Save][Download]
agda_2.6.3-2.debian.tar.xz	07/09/24 06:1807/09/24	11.4 KiB	[Save][Download]
agda_2.4.2.5-1build1.dsc	12/01/16 22:3012/01/16	3.7 KiB	[Save][Download]
agda_2.6.3-2.dsc	07/09/24 06:1807/09/24	4.8 KiB	[Save][Download]
agda_2.4.2.5-1build1_all.deb	12/01/16 22:5912/01/16	2.9 KiB	[Save][Download]
agda_2.6.3-2_all.deb	07/09/24 06:1807/09/24	3.6 KiB	[Save][Download]
agda_2.4.2.5.orig.tar.gz	04/01/16 23:2504/01/16	1007 KiB	[Save][Download]
agda_2.5.3-3build1.debian.tar.xz	25/11/17 19:1525/11/17	9.6 KiB	[Save][Download]
elpa-agda2-mode_2.6.3-2_all.deb	07/09/24 06:1807/09/24	45.2 KiB	[Save][Download]
agda_2.5.3-3build1.dsc	25/11/17 19:1525/11/17	4.5 KiB	[Save][Download]
libghc-agda-dev_2.6.3-2_amd64.deb	07/09/24 06:1807/09/24	24 MiB	[Save][Download]
agda_2.5.3-3build1_all.deb	25/11/17 20:0925/11/17	3 KiB	[Save][Download]
libghc-agda-doc_2.6.3-2_all.deb	07/09/24 06:1807/09/24	5.9 MiB	[Save][Download]
agda_2.5.3.orig.tar.gz	01/11/17 13:0501/11/17	1.1 MiB	[Save][Download]
libghc-agda-dev_2.6.3-1build1_amd64.deb	10/11/23 20:1910/11/23	24.3 MiB	[Save][Download]
agda_2.6.0.1-1build4.debian.tar.xz	08/02/20 11:3808/02/20	10 KiB	[Save][Download]
agda_2.6.4.3.orig.tar.gz	25/10/24 19:1125/10/24	1.8 MiB	[Save][Download]
agda_2.6.0.1-1build4.dsc	08/02/20 11:3808/02/20	4.2 KiB	[Save][Download]
elpa-agda2-mode_2.6.4.3-1_all.deb	25/10/24 21:1525/10/24	45.2 KiB	[Save][Download]
agda_2.6.0.1-1build4_all.deb	08/02/20 13:1908/02/20	4 KiB	[Save][Download]
libghc-agda-dev_2.6.4.3-1_amd64.deb	25/10/24 21:1525/10/24	23 MiB	[Save][Download]
agda_2.6.0.1.orig.tar.gz	01/09/19 12:4301/09/19	2.3 MiB	[Save][Download]
libghc-agda-doc_2.3.2.2-1_all.deb	06/11/13 17:2806/11/13	2.1 MiB	[Save][Download]
agda_2.6.1-1build2.1.debian.tar.xz	16/09/21 07:3916/09/21	10 KiB	[Save][Download]
libghc-agda-doc_2.6.4.3-1_all.deb	25/10/24 21:1525/10/24	6.4 MiB	[Save][Download]
agda_2.6.1-1build2.1.dsc	16/09/21 07:3916/09/21	4.2 KiB	[Save][Download]
agda_2.6.1-1build2.1_all.deb	16/09/21 08:2816/09/21	4 KiB	[Save][Download]
agda_2.6.1.orig.tar.gz	29/07/20 23:1929/07/20	2.5 MiB	[Save][Download]
libghc-agda-doc_2.4.2.5-1build1_all.deb	12/01/16 22:5912/01/16	2.1 MiB	[Save][Download]
libghc-agda-doc_2.5.3-3build1_all.deb	25/11/17 20:0925/11/17	2.6 MiB	[Save][Download]
agda_2.6.3.orig.tar.gz	26/10/23 15:4326/10/23	1.7 MiB	[Save][Download]
elpa-agda2-mode_2.5.3-3build1_all.deb	25/11/17 20:0925/11/17	39.9 KiB	[Save][Download]
elpa-agda2-mode_2.6.0.1-1build4_all.deb	08/02/20 13:1908/02/20	40.2 KiB	[Save][Download]
agda_2.6.3-1build1.debian.tar.xz	08/11/23 09:3608/11/23	11.4 KiB	[Save][Download]
elpa-agda2-mode_2.6.1-1build2.1_all.deb	16/09/21 08:2816/09/21	45.1 KiB	[Save][Download]
libghc-agda-doc_2.6.0.1-1build4_all.deb	08/02/20 13:1908/02/20	4 MiB	[Save][Download]
libghc-agda-doc_2.6.1-1build2.1_all.deb	16/09/21 08:2816/09/21	5.2 MiB	[Save][Download]
libghc-agda-doc_2.6.3-1build1_all.deb	10/11/23 20:1910/11/23	6 MiB	[Save][Download]