	File Name	Sync Status	File Size	Last Sync	Date
	{{ item.fileName }}	{{ item.syncStatus }} {{ item.syncStatus }} {{ item.syncStatus }}	{{ item.fileSize }}	{{ item.lastSync }}
	{{ item.fileName }}	{{ item.fileSize }}	{{ item.fileDate }}

/debian-archive/debian/pool/main/a/agda/

File Name ↓	File Size ↓	Date ↓
agda-bin_2.4.0.2-2+b1_amd64.deb	3.7 MiB	2014-09-08 02:27
agda-bin_2.4.0.2-2+b1_i386.deb	3.6 MiB	2014-09-08 15:57
agda-bin_2.4.0.2-2+b1_kfreebsd-amd64.deb	4.3 MiB	2014-09-08 15:57
agda-bin_2.4.0.2-2+b1_kfreebsd-i386.deb	4.1 MiB	2014-09-08 15:47
agda-bin_2.4.0.2-2+b1_powerpc.deb	3.4 MiB	2014-09-08 16:12
agda-bin_2.5.1.1-3+b3_amd64.deb	5.9 MiB	2016-11-11 01:40
agda-bin_2.5.1.1-3+b3_arm64.deb	10.8 MiB	2016-11-11 02:10
agda-bin_2.5.1.1-3+b3_i386.deb	6.0 MiB	2016-11-11 01:00
agda-bin_2.5.1.1-3+b3_s390x.deb	21.2 MiB	2016-11-11 02:30
agda-bin_2.5.1.1-3_mips64el.deb	9.5 MiB	2016-11-20 08:28
agda-bin_2.5.4.1-3+b1_amd64.deb	5.6 MiB	2018-12-04 18:59
agda-bin_2.5.4.1-3+b1_arm64.deb	6.5 MiB	2018-12-04 21:27
agda-bin_2.5.4.1-3+b1_i386.deb	5.7 MiB	2018-12-04 18:43
agda-bin_2.5.4.1-3+b1_mips.deb	9.3 MiB	2018-12-07 03:59
agda-bin_2.5.4.1-3+b1_mips64el.deb	10.7 MiB	2018-12-23 21:59
agda-bin_2.5.4.1-3+b1_mipsel.deb	9.6 MiB	2018-12-24 20:25
agda-bin_2.5.4.1-3+b1_ppc64el.deb	7.6 MiB	2018-12-04 18:43
agda-bin_2.5.4.1-3+b1_s390x.deb	12.6 MiB	2018-12-04 18:54
agda-bin_2.6.1-1+b2_amd64.deb	8.5 MiB	2020-08-20 03:59
agda-bin_2.6.1-1+b2_arm64.deb	9.9 MiB	2020-08-20 05:57
agda-bin_2.6.1-1+b2_i386.deb	8.6 MiB	2020-08-20 06:58
agda-bin_2.6.1-1+b2_ppc64el.deb	11.8 MiB	2020-08-20 07:59
agda-bin_2.6.1-1+b3_s390x.deb	22.7 MiB	2020-08-20 08:40
agda-mode_2.2.6-7_all.deb	39.1 KiB	2010-05-06 12:02
agda-mode_2.3.0.1-2_all.deb	45.1 KiB	2012-05-27 05:32
agda-mode_2.4.0.2-2_all.deb	86.3 KiB	2014-08-11 19:28
agda-mode_2.5.1.1-3_all.deb	77.8 KiB	2016-10-29 08:56
agda-mode_2.5.4.1-3_all.deb	114.9 KiB	2018-10-21 05:57
agda_2.2.6-7.debian.tar.gz	5.2 KiB	2010-05-06 12:02
agda_2.2.6-7.dsc	2.2 KiB	2010-05-06 12:02
agda_2.2.6.orig.tar.gz	414.4 KiB	2010-01-08 03:47
agda_2.3.0.1-2.debian.tar.gz	6.7 KiB	2012-05-27 05:32
agda_2.3.0.1-2.dsc	2.3 KiB	2012-05-27 05:32
agda_2.3.0.1-2_all.deb	12.9 KiB	2012-05-27 05:32
agda_2.3.0.1.orig.tar.gz	598.0 KiB	2012-03-12 21:32
agda_2.4.0.2-2.debian.tar.xz	7.2 KiB	2014-08-11 19:28
agda_2.4.0.2-2.dsc	3.8 KiB	2014-08-11 19:28
agda_2.4.0.2-2_all.deb	55.0 KiB	2014-08-11 19:28
agda_2.4.0.2.orig.tar.gz	889.1 KiB	2014-08-05 17:23
agda_2.5.1.1-3.debian.tar.xz	8.8 KiB	2016-10-28 08:24
agda_2.5.1.1-3.dsc	4.1 KiB	2016-10-28 08:24
agda_2.5.1.1-3_all.deb	78.2 KiB	2016-10-29 08:56
agda_2.5.1.1.orig.tar.gz	1.1 MiB	2016-10-17 04:43
agda_2.5.4.1-3.debian.tar.xz	9.7 KiB	2018-10-21 04:41
agda_2.5.4.1-3.dsc	3.8 KiB	2018-10-21 04:41
agda_2.5.4.1-3_all.deb	115.3 KiB	2018-10-21 05:57
agda_2.5.4.1.orig.tar.gz	1.9 MiB	2018-09-30 18:54
agda_2.6.1-1.debian.tar.xz	9.8 KiB	2020-07-29 23:40
agda_2.6.1-1.dsc	4.1 KiB	2020-07-29 23:40
agda_2.6.1-1_all.deb	28.1 KiB	2020-07-30 00:40
agda_2.6.1.orig.tar.gz	2.5 MiB	2020-07-29 23:40
elpa-agda2-mode_2.5.1.1-3_all.deb	112.6 KiB	2016-10-29 08:56
elpa-agda2-mode_2.5.4.1-3_all.deb	151.8 KiB	2018-10-21 05:57
elpa-agda2-mode_2.6.1-1_all.deb	65.3 KiB	2020-07-30 00:40
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb	12.4 MiB	2012-05-28 07:02
libghc-agda-dev_2.3.0.1-2_armel.deb	16.8 MiB	2012-05-28 05:33
libghc-agda-dev_2.3.0.1-2_armhf.deb	17.9 MiB	2012-05-27 15:32
libghc-agda-dev_2.3.0.1-2_i386.deb	11.8 MiB	2012-05-27 06:32
libghc-agda-dev_2.3.0.1-2_kfreebsd-amd64.deb	12.4 MiB	2012-05-27 13:17
libghc-agda-dev_2.3.0.1-2_kfreebsd-i386.deb	11.8 MiB	2012-05-27 13:32
libghc-agda-dev_2.3.0.1-2_powerpc.deb	15.7 MiB	2012-05-27 07:47
libghc-agda-dev_2.3.0.1-2_s390x.deb	22.7 MiB	2012-05-27 15:32
libghc-agda-dev_2.3.0.1-2_sparc.deb	24.2 MiB	2012-06-02 23:17
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb	9.3 MiB	2014-09-08 02:27
libghc-agda-dev_2.4.0.2-2+b1_i386.deb	9.2 MiB	2014-09-08 15:57
libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-amd64.deb	9.3 MiB	2014-09-08 15:57
libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-i386.deb	9.2 MiB	2014-09-08 15:47
libghc-agda-dev_2.4.0.2-2+b1_powerpc.deb	9.2 MiB	2014-09-08 16:12
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb	12.3 MiB	2016-11-11 01:40
libghc-agda-dev_2.5.1.1-3+b3_arm64.deb	18.8 MiB	2016-11-11 02:10
libghc-agda-dev_2.5.1.1-3+b3_i386.deb	13.7 MiB	2016-11-11 01:00
libghc-agda-dev_2.5.1.1-3+b3_s390x.deb	25.0 MiB	2016-11-11 02:30
libghc-agda-dev_2.5.1.1-3_mips64el.deb	18.2 MiB	2016-11-20 08:28
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb	16.4 MiB	2018-12-04 18:59
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb	18.8 MiB	2018-12-04 21:27
libghc-agda-dev_2.5.4.1-3+b1_i386.deb	16.0 MiB	2018-12-04 18:43
libghc-agda-dev_2.5.4.1-3+b1_mips.deb	21.3 MiB	2018-12-07 03:59
libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb	23.4 MiB	2018-12-23 21:59
libghc-agda-dev_2.5.4.1-3+b1_mipsel.deb	22.0 MiB	2018-12-24 20:25
libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb	23.4 MiB	2018-12-04 18:43
libghc-agda-dev_2.5.4.1-3+b1_s390x.deb	24.8 MiB	2018-12-04 18:54
libghc-agda-dev_2.6.1-1+b2_amd64.deb	36.2 MiB	2020-08-20 03:59
libghc-agda-dev_2.6.1-1+b2_arm64.deb	42.7 MiB	2020-08-20 05:57
libghc-agda-dev_2.6.1-1+b2_i386.deb	36.3 MiB	2020-08-20 06:58
libghc-agda-dev_2.6.1-1+b2_ppc64el.deb	53.3 MiB	2020-08-20 07:59
libghc-agda-dev_2.6.1-1+b3_s390x.deb	55.3 MiB	2020-08-20 08:40
libghc-agda-doc_2.3.0.1-2_all.deb	1.7 MiB	2012-05-27 05:32
libghc-agda-doc_2.4.0.2-2_all.deb	1.9 MiB	2014-08-11 19:28
libghc-agda-doc_2.5.1.1-3_all.deb	2.5 MiB	2016-10-29 08:56
libghc-agda-doc_2.5.4.1-3_all.deb	3.6 MiB	2018-10-21 05:57
libghc-agda-doc_2.6.1-1_all.deb	5.5 MiB	2020-07-30 00:40
libghc6-agda-dev_2.2.6-7_amd64.deb	9.6 MiB	2010-05-06 12:02
libghc6-agda-dev_2.2.6-7_armel.deb	15.6 MiB	2010-05-07 05:47
libghc6-agda-dev_2.2.6-7_i386.deb	9.1 MiB	2010-05-06 15:17
libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb	9.6 MiB	2010-05-06 14:32
libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb	9.1 MiB	2010-05-06 14:32
libghc6-agda-dev_2.2.6-7_mips.deb	17.8 MiB	2010-05-07 03:47
libghc6-agda-dev_2.2.6-7_mipsel.deb	16.7 MiB	2010-05-07 05:47
libghc6-agda-dev_2.2.6-7_powerpc.deb	12.6 MiB	2010-05-06 15:17
libghc6-agda-dev_2.2.6-7_s390.deb	16.1 MiB	2010-05-06 19:50
libghc6-agda-dev_2.2.6-7_sparc.deb	16.9 MiB	2010-05-13 06:47
libghc6-agda-doc_2.2.6-7_all.deb	1.0 MiB	2010-05-06 12:02