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

	Name	Last modified	Size	Description
	Parent Directory		-
	libghc-agda-doc_2.6.3-1build2_all.deb	2024-05-16 01:50	6.0M
	libghc-agda-doc_2.6.3-1build1_all.deb	2023-11-10 23:49	6.0M
	libghc-agda-doc_2.6.2.2-1.1build1_all.deb	2022-12-12 14:29	5.7M
	libghc-agda-doc_2.6.1-1build2.1_all.deb	2021-09-16 12:58	5.2M
	libghc-agda-doc_2.6.0.1-1build4_all.deb	2020-02-08 16:49	4.0M
	libghc-agda-doc_2.5.3-3build1_all.deb	2017-11-25 23:39	2.6M
	libghc-agda-doc_2.4.2.5-1build1_all.deb	2016-01-13 02:29	2.1M
	libghc-agda-doc_2.3.2.2-1_all.deb	2013-11-06 20:58	2.1M
	libghc-agda-dev_2.6.3-1build2_amd64.deb	2024-05-16 01:50	24M
	libghc-agda-dev_2.6.3-1build1_amd64.deb	2023-11-10 23:49	24M
	libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb	2022-12-12 14:29	25M
	libghc-agda-dev_2.6.1-1build2.1_amd64.deb	2021-09-16 12:58	38M
	libghc-agda-dev_2.6.0.1-1build4_amd64.deb	2020-02-08 16:49	19M
	libghc-agda-dev_2.5.3-3build1_i386.deb	2017-11-25 23:39	15M
	libghc-agda-dev_2.5.3-3build1_amd64.deb	2017-11-25 23:39	15M
	libghc-agda-dev_2.4.2.5-1build1_i386.deb	2016-01-13 02:15	10M
	libghc-agda-dev_2.4.2.5-1build1_amd64.deb	2016-01-13 02:29	10M
	libghc-agda-dev_2.3.2.2-1_i386.deb	2013-11-06 20:58	12M
	libghc-agda-dev_2.3.2.2-1_amd64.deb	2013-11-06 20:58	13M
	elpa-agda2-mode_2.6.3-1build2_all.deb	2024-05-16 01:50	45K
	elpa-agda2-mode_2.6.3-1build1_all.deb	2023-11-10 23:49	45K
	elpa-agda2-mode_2.6.2.2-1.1build1_all.deb	2022-12-12 14:29	44K
	elpa-agda2-mode_2.6.1-1build2.1_all.deb	2021-09-16 12:58	45K
	elpa-agda2-mode_2.6.0.1-1build4_all.deb	2020-02-08 16:49	40K
	elpa-agda2-mode_2.5.3-3build1_all.deb	2017-11-25 23:39	40K
	agda_2.6.3.orig.tar.gz	2023-10-26 19:13	1.7M
	agda_2.6.3-1build2_all.deb	2024-05-16 01:50	3.7K
	agda_2.6.3-1build2.dsc	2024-05-15 15:03	4.8K
	agda_2.6.3-1build2.debian.tar.xz	2024-05-15 15:03	11K
	agda_2.6.3-1build1_all.deb	2023-11-10 23:49	3.7K
	agda_2.6.3-1build1.dsc	2023-11-08 13:06	4.8K
	agda_2.6.3-1build1.debian.tar.xz	2023-11-08 13:06	11K
	agda_2.6.2.2.orig.tar.gz	2022-08-07 03:49	1.6M
	agda_2.6.2.2-1.1build1_all.deb	2022-12-12 14:29	3.6K
	agda_2.6.2.2-1.1build1.dsc	2022-12-12 13:59	4.3K
	agda_2.6.2.2-1.1build1.debian.tar.xz	2022-12-12 13:59	10K
	agda_2.6.1.orig.tar.gz	2020-07-30 03:49	2.5M
	agda_2.6.1-1build2.1_all.deb	2021-09-16 12:58	4.0K
	agda_2.6.1-1build2.1.dsc	2021-09-16 12:09	4.2K
	agda_2.6.1-1build2.1.debian.tar.xz	2021-09-16 12:09	10K
	agda_2.6.0.1.orig.tar.gz	2019-09-01 17:13	2.3M
	agda_2.6.0.1-1build4_all.deb	2020-02-08 16:49	4.0K
	agda_2.6.0.1-1build4.dsc	2020-02-08 15:08	4.2K
	agda_2.6.0.1-1build4.debian.tar.xz	2020-02-08 15:08	10K
	agda_2.5.3.orig.tar.gz	2017-11-01 16:35	1.1M
	agda_2.5.3-3build1_all.deb	2017-11-25 23:39	3.0K
	agda_2.5.3-3build1.dsc	2017-11-25 22:45	4.5K
	agda_2.5.3-3build1.debian.tar.xz	2017-11-25 22:45	9.6K
	agda_2.4.2.5.orig.tar.gz	2016-01-05 02:55	1.0M
	agda_2.4.2.5-1build1_all.deb	2016-01-13 02:29	2.9K
	agda_2.4.2.5-1build1.dsc	2016-01-13 02:00	3.7K
	agda_2.4.2.5-1build1.debian.tar.xz	2016-01-13 02:00	7.7K
	agda_2.3.2.2.orig.tar.gz	2013-11-06 20:58	1.9M
	agda_2.3.2.2-1_all.deb	2013-11-06 20:58	2.9K
	agda_2.3.2.2-1.dsc	2013-11-06 20:58	3.2K
	agda_2.3.2.2-1.debian.tar.gz	2013-11-06 20:58	7.2K
	agda-mode_2.6.0.1-1build4_all.deb	2020-02-08 16:49	3.6K
	agda-mode_2.5.3-3build1_all.deb	2017-11-25 23:39	3.5K
	agda-mode_2.4.2.5-1build1_all.deb	2016-01-13 02:29	36K
	agda-mode_2.3.2.2-1_all.deb	2013-11-06 20:58	47K
	agda-bin_2.6.3-1build2_amd64.deb	2024-05-16 01:50	10M
	agda-bin_2.6.3-1build1_amd64.deb	2023-11-10 23:49	10M
	agda-bin_2.6.2.2-1.1build1_amd64.deb	2022-12-12 14:29	8.0M
	agda-bin_2.6.1-1build2.1_amd64.deb	2021-09-16 12:58	9.1M
	agda-bin_2.6.0.1-1build4_amd64.deb	2020-02-08 16:49	6.3M
	agda-bin_2.5.3-3build1_i386.deb	2017-11-25 23:39	5.5M
	agda-bin_2.5.3-3build1_amd64.deb	2017-11-25 23:39	5.5M
	agda-bin_2.4.2.5-1build1_i386.deb	2016-01-13 02:15	4.6M
	agda-bin_2.4.2.5-1build1_amd64.deb	2016-01-13 02:29	4.6M
	agda-bin_2.3.2.2-1_i386.deb	2013-11-06 20:58	4.9M
	agda-bin_2.3.2.2-1_amd64.deb	2013-11-06 20:58	5.2M