Free Software Mirror Group

You're currently connected directly to one of our mirror nodes. You should use mirror.fsmg.org.nz instead. For more information please visit our website.

	Name	Last modified	Size
	Parent Directory		-
	agda-mode_2.5.4.1-3_all.deb	2018-10-21 10:57	115K
	agda_2.5.4.1-3.debian.tar.xz	2018-10-21 09:41	9.7K
	agda_2.5.4.1-3.dsc	2018-10-21 09:41	3.8K
	agda_2.5.4.1-3_all.deb	2018-10-21 10:57	115K
	agda_2.5.4.1.orig.tar.gz	2018-09-30 23:54	1.9M
	agda_2.6.1-1.debian.tar.xz	2020-07-30 03:40	9.8K
	agda_2.6.1-1.dsc	2020-07-30 03:40	4.1K
	agda_2.6.1-1_all.deb	2020-07-30 04:40	28K
	agda_2.6.1.orig.tar.gz	2020-07-30 03:40	2.5M
	agda_2.6.2.2-1.1.debian.tar.xz	2022-12-07 05:40	10K
	agda_2.6.2.2-1.1.dsc	2022-12-07 05:40	4.3K
	agda_2.6.2.2-1.1_all.deb	2022-12-07 06:41	12K
	agda_2.6.2.2.orig.tar.gz	2022-08-07 05:04	1.6M
	agda_2.6.3-1.debian.tar.xz	2023-10-14 04:34	11K
	agda_2.6.3-1.dsc	2023-10-14 04:34	4.8K
	agda_2.6.3-1_all.deb	2023-10-14 05:30	20K
	agda_2.6.3.orig.tar.gz	2023-10-14 04:34	1.7M
	elpa-agda2-mode_2.5.4.1-3_all.deb	2018-10-21 10:57	152K
	elpa-agda2-mode_2.6.1-1_all.deb	2020-07-30 04:40	65K
	elpa-agda2-mode_2.6.2.2-1.1_all.deb	2022-12-07 06:41	50K
	elpa-agda2-mode_2.6.3-1_all.deb	2023-10-14 05:30	58K
	libghc-agda-doc_2.5.4.1-3_all.deb	2018-10-21 10:57	3.6M
	libghc-agda-doc_2.6.1-1_all.deb	2020-07-30 04:40	5.5M
	libghc-agda-doc_2.6.2.2-1.1_all.deb	2022-12-07 06:41	6.3M
	libghc-agda-doc_2.6.3-1_all.deb	2023-10-14 05:30	6.6M