Index of /debian-deltas/pool/main/a/agda

	Name	Last modified	Size
	Parent Directory		-
	agda-bin_2.6.4.3-1+b2_2.8.0-1_amd64.debdelta-too-big	2026-02-15 04:15	0
	agda-bin_2.6.4.3-1+b2_2.8.0-1_i386.debdelta-too-big	2026-02-15 03:57	0
	agda-bin_2.6.4.3-1+b2_2.8.0-2_amd64.debdelta-too-big	2026-02-16 03:00	0
	agda-bin_2.6.4.3-1+b2_2.8.0-2_i386.debdelta-too-big	2026-02-16 02:54	0
	agda-bin_2.8.0-1_2.8.0-2_amd64.debdelta	2026-02-15 21:09	4.6K
	agda-bin_2.8.0-1_2.8.0-2_i386.debdelta	2026-02-15 21:05	4.5K
	agda-bin_2.8.0-2_2.8.0-2+b1_amd64.debdelta	2026-02-28 03:55	123K
	agda-bin_2.8.0-2_2.8.0-2+b1_i386.debdelta	2026-02-28 03:36	174K
	agda_2.6.4.3-1_2.8.0-1_all.debdelta-too-big	2026-02-15 03:46	0
	agda_2.6.4.3-1_2.8.0-2_all.debdelta-too-big	2026-02-16 02:49	0
	agda_2.8.0-1_2.8.0-2_all.debdelta	2026-02-15 20:48	4.0K
	elpa-agda2-mode_2.6.4.3-1_2.8.0-1_all.debdelta	2026-02-15 03:46	22K
	elpa-agda2-mode_2.6.4.3-1_2.8.0-2_all.debdelta	2026-02-16 02:49	22K
	elpa-agda2-mode_2.8.0-1_2.8.0-2_all.debdelta	2026-02-15 20:48	4.9K
	libghc-agda-dev_2.6.4.3-1+b2_2.8.0-1_amd64.debdelta-too-big	2026-02-15 04:17	0
	libghc-agda-dev_2.6.4.3-1+b2_2.8.0-1_i386.debdelta-too-big	2026-02-15 03:59	0
	libghc-agda-dev_2.6.4.3-1+b2_2.8.0-2_amd64.debdelta-too-big	2026-02-16 03:01	0
	libghc-agda-dev_2.6.4.3-1+b2_2.8.0-2_i386.debdelta-too-big	2026-02-16 02:56	0
	libghc-agda-dev_2.8.0-1_2.8.0-2_amd64.debdelta	2026-02-15 21:11	245K
	libghc-agda-dev_2.8.0-1_2.8.0-2_i386.debdelta	2026-02-15 21:07	245K
	libghc-agda-dev_2.8.0-2_2.8.0-2+b1_amd64.debdelta	2026-02-28 03:57	20M
	libghc-agda-dev_2.8.0-2_2.8.0-2+b1_i386.debdelta	2026-02-28 03:38	19M
	libghc-agda-doc_2.6.4.3-1_2.8.0-1_all.debdelta-too-big	2026-02-15 03:47	0
	libghc-agda-doc_2.6.4.3-1_2.8.0-2_all.debdelta-too-big	2026-02-16 02:49	0
	libghc-agda-doc_2.8.0-1_2.8.0-2_all.debdelta	2026-02-15 20:48	39K