	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/acl2/

File Name ↓	File Size ↓	Date ↓
acl2-books-certs_2.9-2_all.deb	288.9 KiB	2004-11-11 11:02
acl2-books-certs_3.1-1_all.deb	4.7 MiB	2006-12-05 03:47
acl2-books-certs_4.0-3_all.deb	1.9 MiB	2010-07-10 01:02
acl2-books-certs_4.3-3_all.deb	4.2 MiB	2012-04-21 03:38
acl2-books-certs_6.5-2_all.deb	6.2 MiB	2014-09-08 22:35
acl2-books-certs_6.5-2~bpo70+1_all.deb	18.7 MiB	2015-01-15 00:26
acl2-books-certs_7.2dfsg-3_all.deb	52.3 MiB	2016-10-17 22:35
acl2-books-certs_8.0dfsg-1_all.deb	69.9 MiB	2018-01-13 21:52
acl2-books-certs_8.3dfsg-2_all.deb	138.7 MiB	2021-01-28 10:25
acl2-books-source_2.9-2_all.deb	1.2 MiB	2004-11-11 11:02
acl2-books-source_3.1-1_all.deb	2.1 MiB	2006-12-05 03:47
acl2-books-source_4.0-3_all.deb	5.0 MiB	2010-07-10 01:02
acl2-books-source_4.3-3_all.deb	6.2 MiB	2012-04-21 03:38
acl2-books-source_6.5-2_all.deb	6.6 MiB	2014-09-08 22:35
acl2-books-source_6.5-2~bpo70+1_all.deb	10.2 MiB	2015-01-15 00:26
acl2-books-source_7.2dfsg-3_all.deb	10.4 MiB	2016-10-17 22:35
acl2-books-source_8.0dfsg-1_all.deb	11.9 MiB	2018-01-13 21:52
acl2-books-source_8.3dfsg-2_all.deb	18.6 MiB	2021-01-28 10:25
acl2-books_2.9-2_alpha.deb	1.4 MiB	2004-11-12 00:32
acl2-books_2.9-2_arm.deb	903.7 KiB	2004-11-15 08:17
acl2-books_2.9-2_hppa.deb	6.5 MiB	2004-11-25 09:47
acl2-books_2.9-2_i386.deb	813.8 KiB	2004-11-11 11:02
acl2-books_2.9-2_ia64.deb	1.4 MiB	2004-11-25 09:47
acl2-books_2.9-2_m68k.deb	782.3 KiB	2004-11-16 17:02
acl2-books_2.9-2_mips.deb	1.1 MiB	2004-11-17 01:47
acl2-books_2.9-2_mipsel.deb	1.0 MiB	2004-11-13 03:32
acl2-books_2.9-2_powerpc.deb	1.2 MiB	2004-11-12 00:32
acl2-books_2.9-2_s390.deb	923.1 KiB	2004-11-11 18:32
acl2-books_2.9-2_sparc.deb	972.2 KiB	2004-11-29 00:32
acl2-books_3.1-1_alpha.deb	2.7 MiB	2006-12-05 18:32
acl2-books_3.1-1_amd64.deb	2.2 MiB	2006-12-05 05:47
acl2-books_3.1-1_arm.deb	1.6 MiB	2006-12-19 01:00
acl2-books_3.1-1_hppa.deb	7.4 MiB	2006-12-12 13:02
acl2-books_3.1-1_i386.deb	1.5 MiB	2006-12-05 03:47
acl2-books_3.1-1_ia64.deb	2.8 MiB	2006-12-05 23:32
acl2-books_3.1-1_m68k.deb	1.6 MiB	2007-02-12 15:02
acl2-books_3.1-1_mips.deb	2.0 MiB	2006-12-12 15:02
acl2-books_3.1-1_mipsel.deb	1.9 MiB	2007-01-08 17:32
acl2-books_3.1-1_powerpc.deb	2.2 MiB	2006-12-05 18:32
acl2-books_3.1-1_s390.deb	1.7 MiB	2006-12-05 23:02
acl2-books_3.1-1_sparc.deb	1.8 MiB	2007-01-01 02:32
acl2-books_4.0-3_amd64.deb	36.7 MiB	2010-07-10 05:32
acl2-books_4.0-3_armel.deb	32.6 MiB	2010-07-12 01:17
acl2-books_4.0-3_i386.deb	32.4 MiB	2010-07-10 01:02
acl2-books_4.0-3_ia64.deb	39.6 MiB	2010-07-10 19:17
acl2-books_4.0-3_kfreebsd-amd64.deb	36.7 MiB	2010-07-10 07:17
acl2-books_4.0-3_kfreebsd-i386.deb	32.2 MiB	2010-07-10 07:32
acl2-books_4.0-3_mips.deb	36.6 MiB	2010-07-23 22:32
acl2-books_4.0-3_mipsel.deb	12.6 MiB	2010-07-19 23:47
acl2-books_4.0-3_powerpc.deb	42.0 MiB	2010-07-20 04:47
acl2-books_4.0-3_s390.deb	40.3 MiB	2010-07-10 17:47
acl2-books_4.0-3_sparc.deb	35.3 MiB	2010-07-17 22:47
acl2-books_4.3-3_amd64.deb	15.2 MiB	2012-04-21 08:02
acl2-books_4.3-3_armel.deb	36.2 MiB	2012-04-22 10:47
acl2-books_4.3-3_armhf.deb	36.5 MiB	2012-04-22 06:17
acl2-books_4.3-3_i386.deb	13.3 MiB	2012-04-21 03:38
acl2-books_4.3-3_ia64.deb	18.2 MiB	2012-04-23 22:47
acl2-books_4.3-3_kfreebsd-amd64.deb	15.1 MiB	2012-04-21 20:32
acl2-books_4.3-3_kfreebsd-i386.deb	12.9 MiB	2012-04-21 09:02
acl2-books_4.3-3_mips.deb	16.2 MiB	2012-04-22 04:47
acl2-books_4.3-3_mipsel.deb	15.4 MiB	2012-04-27 05:49
acl2-books_4.3-3_powerpc.deb	15.2 MiB	2012-04-21 09:47
acl2-books_4.3-3_s390.deb	13.0 MiB	2012-04-21 07:17
acl2-books_4.3-3_s390x.deb	14.8 MiB	2012-04-21 16:47
acl2-books_4.3-3_sparc.deb	14.8 MiB	2012-04-22 07:02
acl2-books_6.5-2_amd64.deb	22.1 MiB	2014-09-08 22:35
acl2-books_6.5-2_arm64.deb	21.8 MiB	2014-09-17 07:00
acl2-books_6.5-2_armel.deb	65.0 MiB	2014-09-09 19:25
acl2-books_6.5-2_armhf.deb	66.7 MiB	2014-09-12 18:12
acl2-books_6.5-2_i386.deb	20.8 MiB	2014-09-09 05:44
acl2-books_6.5-2_kfreebsd-amd64.deb	22.1 MiB	2014-09-09 14:43
acl2-books_6.5-2_kfreebsd-i386.deb	17.9 MiB	2014-09-09 18:04
acl2-books_6.5-2_mips.deb	20.0 MiB	2014-10-03 07:44
acl2-books_6.5-2_mipsel.deb	20.4 MiB	2014-09-29 04:37
acl2-books_6.5-2_powerpc.deb	18.1 MiB	2014-09-09 01:57
acl2-books_6.5-2_ppc64el.deb	19.1 MiB	2014-09-09 12:07
acl2-books_6.5-2_s390x.deb	19.8 MiB	2014-09-09 08:46
acl2-books_6.5-2~bpo70+1_amd64.deb	47.4 MiB	2015-01-15 00:26
acl2-books_7.2dfsg-3_amd64.deb	103.1 MiB	2016-10-17 22:35
acl2-books_7.2dfsg-3_arm64.deb	104.5 MiB	2016-10-18 13:59
acl2-books_7.2dfsg-3_armel.deb	86.3 MiB	2016-10-19 13:29
acl2-books_7.2dfsg-3_armhf.deb	91.9 MiB	2016-10-19 09:33
acl2-books_7.2dfsg-3_i386.deb	86.3 MiB	2016-10-18 07:35
acl2-books_7.2dfsg-3_mips.deb	71.3 MiB	2016-10-18 23:12
acl2-books_7.2dfsg-3_mips64el.deb	108.2 MiB	2016-10-20 08:31
acl2-books_7.2dfsg-3_mipsel.deb	74.2 MiB	2016-10-19 22:45
acl2-books_7.2dfsg-3_ppc64el.deb	98.8 MiB	2016-10-18 06:34
acl2-books_7.2dfsg-3_s390x.deb	101.6 MiB	2016-10-18 15:30
acl2-books_8.0dfsg-1+b1_armel.deb	127.3 MiB	2019-02-14 21:00
acl2-books_8.0dfsg-1_amd64.deb	131.6 MiB	2018-01-13 21:52
acl2-books_8.0dfsg-1_arm64.deb	134.8 MiB	2018-01-14 10:47
acl2-books_8.0dfsg-1_armhf.deb	119.6 MiB	2018-01-15 16:46
acl2-books_8.0dfsg-1_i386.deb	110.6 MiB	2018-01-14 05:26
acl2-books_8.0dfsg-1_mips.deb	126.0 MiB	2018-01-16 14:15
acl2-books_8.0dfsg-1_mips64el.deb	140.0 MiB	2018-01-16 11:44
acl2-books_8.0dfsg-1_mipsel.deb	130.6 MiB	2018-01-16 13:14
acl2-books_8.0dfsg-1_ppc64el.deb	130.5 MiB	2018-01-14 04:26
acl2-books_8.0dfsg-1_s390x.deb	121.8 MiB	2018-01-14 04:41
acl2-books_8.3dfsg-2_amd64.deb	241.2 MiB	2021-01-28 05:57
acl2-books_8.3dfsg-2_arm64.deb	236.0 MiB	2021-01-28 23:43
acl2-books_8.3dfsg-2_armel.deb	218.4 MiB	2021-01-28 15:13
acl2-books_8.3dfsg-2_armhf.deb	222.9 MiB	2021-01-28 14:42
acl2-books_8.3dfsg-2_i386.deb	203.9 MiB	2021-01-28 06:22
acl2-books_8.3dfsg-2_mips64el.deb	253.6 MiB	2021-01-31 03:12
acl2-books_8.3dfsg-2_mipsel.deb	227.9 MiB	2021-01-29 17:42
acl2-books_8.3dfsg-2_ppc64el.deb	244.8 MiB	2021-01-28 07:44
acl2-books_8.3dfsg-2_s390x.deb	219.0 MiB	2021-01-28 10:35
acl2-doc_2.9-2_all.deb	1.7 MiB	2004-11-11 11:02
acl2-doc_3.1-1_all.deb	1.9 MiB	2006-12-05 03:47
acl2-doc_4.0-3_all.deb	2.7 MiB	2010-07-10 01:02
acl2-doc_4.3-3_all.deb	353.8 KiB	2012-04-21 03:38
acl2-doc_6.5-2_all.deb	1.6 MiB	2014-09-08 22:35
acl2-doc_6.5-2~bpo70+1_all.deb	2.2 MiB	2015-01-15 00:26
acl2-doc_7.2dfsg-3_all.deb	372.3 KiB	2016-10-17 22:35
acl2-doc_8.0dfsg-1_all.deb	392.1 KiB	2018-01-13 21:52
acl2-doc_8.3dfsg-2_all.deb	437.1 KiB	2021-01-28 10:25
acl2-emacs_2.9-2_all.deb	47.6 KiB	2005-04-30 19:19
acl2-emacs_3.1-1_all.deb	49.4 KiB	2006-12-05 03:47
acl2-emacs_4.0-3_all.deb	56.8 KiB	2010-07-10 01:02
acl2-emacs_4.3-3_all.deb	59.4 KiB	2012-04-21 03:38
acl2-emacs_6.5-2_all.deb	59.4 KiB	2014-09-08 22:35
acl2-emacs_6.5-2~bpo70+1_all.deb	71.2 KiB	2015-01-15 00:26
acl2-emacs_7.2dfsg-3_all.deb	62.6 KiB	2016-10-17 22:35
acl2-emacs_8.0dfsg-1_all.deb	66.0 KiB	2018-01-13 21:52
acl2-emacs_8.3dfsg-2_all.deb	67.8 KiB	2021-01-28 10:25
acl2-infix-source_2.9-2_all.deb	82.3 KiB	2004-11-11 11:02
acl2-infix-source_3.1-1_all.deb	83.3 KiB	2006-12-05 03:47
acl2-infix-source_4.0-3_all.deb	87.2 KiB	2010-07-10 01:02
acl2-infix-source_4.3-3_all.deb	89.3 KiB	2012-04-21 03:38
acl2-infix-source_6.5-2_all.deb	77.6 KiB	2014-09-08 22:35
acl2-infix-source_6.5-2~bpo70+1_all.deb	90.0 KiB	2015-01-15 00:26
acl2-infix-source_7.2dfsg-3_all.deb	77.0 KiB	2016-10-17 22:35
acl2-infix-source_8.0dfsg-1_all.deb	77.3 KiB	2018-01-13 21:52
acl2-infix-source_8.3dfsg-2_all.deb	78.0 KiB	2021-01-28 10:25
acl2-infix_2.9-2_alpha.deb	284.7 KiB	2004-11-12 00:32
acl2-infix_2.9-2_arm.deb	204.2 KiB	2004-11-15 08:17
acl2-infix_2.9-2_hppa.deb	381.9 KiB	2004-11-25 09:47
acl2-infix_2.9-2_i386.deb	176.9 KiB	2004-11-11 11:02
acl2-infix_2.9-2_ia64.deb	344.1 KiB	2004-11-25 09:47
acl2-infix_2.9-2_m68k.deb	174.1 KiB	2004-11-16 17:02
acl2-infix_2.9-2_mips.deb	250.8 KiB	2004-11-17 01:47
acl2-infix_2.9-2_mipsel.deb	239.3 KiB	2004-11-13 03:32
acl2-infix_2.9-2_powerpc.deb	307.5 KiB	2004-11-12 00:32
acl2-infix_2.9-2_s390.deb	177.7 KiB	2004-11-11 18:32
acl2-infix_2.9-2_sparc.deb	248.9 KiB	2004-11-29 00:32
acl2-infix_3.1-1_alpha.deb	251.2 KiB	2006-12-05 18:32
acl2-infix_3.1-1_amd64.deb	194.0 KiB	2006-12-05 05:47
acl2-infix_3.1-1_arm.deb	185.7 KiB	2006-12-19 01:00
acl2-infix_3.1-1_hppa.deb	408.1 KiB	2006-12-12 13:02
acl2-infix_3.1-1_i386.deb	167.8 KiB	2006-12-05 03:47
acl2-infix_3.1-1_ia64.deb	297.1 KiB	2006-12-05 23:32
acl2-infix_3.1-1_m68k.deb	191.1 KiB	2007-02-12 15:02
acl2-infix_3.1-1_mips.deb	197.3 KiB	2006-12-12 15:02
acl2-infix_3.1-1_mipsel.deb	192.2 KiB	2007-01-08 17:32
acl2-infix_3.1-1_powerpc.deb	243.0 KiB	2006-12-05 18:32
acl2-infix_3.1-1_s390.deb	162.4 KiB	2006-12-05 23:02
acl2-infix_3.1-1_sparc.deb	217.6 KiB	2007-01-01 02:32
acl2-infix_4.0-3_amd64.deb	420.5 KiB	2010-07-10 05:32
acl2-infix_4.0-3_armel.deb	383.7 KiB	2010-07-12 01:17
acl2-infix_4.0-3_i386.deb	381.3 KiB	2010-07-10 01:02
acl2-infix_4.0-3_ia64.deb	559.5 KiB	2010-07-10 19:17
acl2-infix_4.0-3_kfreebsd-amd64.deb	421.2 KiB	2010-07-10 07:17
acl2-infix_4.0-3_kfreebsd-i386.deb	379.8 KiB	2010-07-10 07:32
acl2-infix_4.0-3_mips.deb	426.6 KiB	2010-07-23 22:32
acl2-infix_4.0-3_mipsel.deb	187.3 KiB	2010-07-19 23:47
acl2-infix_4.0-3_powerpc.deb	511.1 KiB	2010-07-20 04:47
acl2-infix_4.0-3_s390.deb	449.5 KiB	2010-07-10 17:47
acl2-infix_4.0-3_sparc.deb	441.6 KiB	2010-07-17 22:47
acl2-infix_4.3-3_amd64.deb	198.9 KiB	2012-04-21 08:02
acl2-infix_4.3-3_armel.deb	368.9 KiB	2012-04-22 10:47
acl2-infix_4.3-3_armhf.deb	400.7 KiB	2012-04-22 06:17
acl2-infix_4.3-3_i386.deb	179.8 KiB	2012-04-21 03:38
acl2-infix_4.3-3_ia64.deb	255.8 KiB	2012-04-23 22:47
acl2-infix_4.3-3_kfreebsd-amd64.deb	200.6 KiB	2012-04-21 20:32
acl2-infix_4.3-3_kfreebsd-i386.deb	178.1 KiB	2012-04-21 09:02
acl2-infix_4.3-3_mips.deb	226.2 KiB	2012-04-22 04:47
acl2-infix_4.3-3_mipsel.deb	214.3 KiB	2012-04-27 05:49
acl2-infix_4.3-3_powerpc.deb	218.4 KiB	2012-04-21 09:47
acl2-infix_4.3-3_s390.deb	166.5 KiB	2012-04-21 07:17
acl2-infix_4.3-3_s390x.deb	190.2 KiB	2012-04-21 16:47
acl2-infix_4.3-3_sparc.deb	211.7 KiB	2012-04-22 07:02
acl2-infix_6.5-2_amd64.deb	146.5 KiB	2014-09-08 22:35
acl2-infix_6.5-2_arm64.deb	149.3 KiB	2014-09-17 07:00
acl2-infix_6.5-2_armel.deb	402.7 KiB	2014-09-09 19:25
acl2-infix_6.5-2_armhf.deb	424.4 KiB	2014-09-12 18:12
acl2-infix_6.5-2_i386.deb	148.0 KiB	2014-09-09 05:44
acl2-infix_6.5-2_kfreebsd-amd64.deb	145.1 KiB	2014-09-09 14:43
acl2-infix_6.5-2_kfreebsd-i386.deb	147.5 KiB	2014-09-09 18:04
acl2-infix_6.5-2_mips.deb	145.1 KiB	2014-10-03 07:44
acl2-infix_6.5-2_mipsel.deb	146.4 KiB	2014-09-29 04:37
acl2-infix_6.5-2_powerpc.deb	136.4 KiB	2014-09-09 01:57
acl2-infix_6.5-2_ppc64el.deb	152.3 KiB	2014-09-09 12:07
acl2-infix_6.5-2_s390x.deb	137.8 KiB	2014-09-09 08:46
acl2-infix_6.5-2~bpo70+1_amd64.deb	219.3 KiB	2015-01-15 00:26
acl2-infix_7.2dfsg-3_amd64.deb	409.9 KiB	2016-10-17 22:35
acl2-infix_7.2dfsg-3_arm64.deb	420.2 KiB	2016-10-18 13:59
acl2-infix_7.2dfsg-3_armel.deb	381.8 KiB	2016-10-19 13:29
acl2-infix_7.2dfsg-3_armhf.deb	400.6 KiB	2016-10-19 09:33
acl2-infix_7.2dfsg-3_i386.deb	381.0 KiB	2016-10-18 07:35
acl2-infix_7.2dfsg-3_mips.deb	407.9 KiB	2016-10-18 23:12
acl2-infix_7.2dfsg-3_mips64el.deb	423.7 KiB	2016-10-20 08:31
acl2-infix_7.2dfsg-3_mipsel.deb	426.3 KiB	2016-10-19 22:45
acl2-infix_7.2dfsg-3_ppc64el.deb	412.9 KiB	2016-10-18 06:34
acl2-infix_7.2dfsg-3_s390x.deb	408.3 KiB	2016-10-18 15:30
acl2-infix_8.0dfsg-1+b1_armel.deb	431.8 KiB	2019-02-14 21:00
acl2-infix_8.0dfsg-1_amd64.deb	421.9 KiB	2018-01-13 21:52
acl2-infix_8.0dfsg-1_arm64.deb	432.4 KiB	2018-01-14 10:47
acl2-infix_8.0dfsg-1_armhf.deb	406.5 KiB	2018-01-15 16:46
acl2-infix_8.0dfsg-1_i386.deb	390.0 KiB	2018-01-14 05:26
acl2-infix_8.0dfsg-1_mips.deb	421.1 KiB	2018-01-16 14:15
acl2-infix_8.0dfsg-1_mips64el.deb	439.8 KiB	2018-01-16 11:44
acl2-infix_8.0dfsg-1_mipsel.deb	441.8 KiB	2018-01-16 13:14
acl2-infix_8.0dfsg-1_ppc64el.deb	434.1 KiB	2018-01-14 04:26
acl2-infix_8.0dfsg-1_s390x.deb	397.0 KiB	2018-01-14 04:41
acl2-infix_8.3dfsg-2_amd64.deb	478.8 KiB	2021-01-28 05:57
acl2-infix_8.3dfsg-2_arm64.deb	469.4 KiB	2021-01-28 23:43
acl2-infix_8.3dfsg-2_armel.deb	462.9 KiB	2021-01-28 15:13
acl2-infix_8.3dfsg-2_armhf.deb	478.3 KiB	2021-01-28 14:42
acl2-infix_8.3dfsg-2_i386.deb	484.8 KiB	2021-01-28 06:22
acl2-infix_8.3dfsg-2_mips64el.deb	503.3 KiB	2021-01-31 03:12
acl2-infix_8.3dfsg-2_mipsel.deb	508.9 KiB	2021-01-29 17:42
acl2-infix_8.3dfsg-2_ppc64el.deb	497.9 KiB	2021-01-28 07:44
acl2-infix_8.3dfsg-2_s390x.deb	434.9 KiB	2021-01-28 10:35
acl2-source_2.9-2_all.deb	2.0 MiB	2004-11-11 11:02
acl2-source_3.1-1_all.deb	2.2 MiB	2006-12-05 03:47
acl2-source_4.0-3_all.deb	2.9 MiB	2010-07-10 01:02
acl2-source_4.3-3_all.deb	3.1 MiB	2012-04-21 03:38
acl2-source_6.5-2_all.deb	2.6 MiB	2014-09-08 22:35
acl2-source_6.5-2~bpo70+1_all.deb	3.7 MiB	2015-01-15 00:26
acl2-source_7.2dfsg-3_all.deb	2.8 MiB	2016-10-17 22:35
acl2-source_8.0dfsg-1_all.deb	2.9 MiB	2018-01-13 21:52
acl2-source_8.3dfsg-2_all.deb	3.2 MiB	2021-01-28 10:25
acl2_2.9-2.diff.gz	17.7 KiB	2004-11-11 11:02
acl2_2.9-2.dsc	794 B	2005-04-30 19:19
acl2_2.9-2_alpha.deb	14.6 MiB	2004-11-12 00:32
acl2_2.9-2_arm.deb	13.8 MiB	2004-11-15 08:17
acl2_2.9-2_hppa.deb	13.7 MiB	2004-11-25 09:47
acl2_2.9-2_i386.deb	13.1 MiB	2004-11-11 11:02
acl2_2.9-2_ia64.deb	15.7 MiB	2004-11-25 09:47
acl2_2.9-2_m68k.deb	13.0 MiB	2004-11-16 17:02
acl2_2.9-2_mips.deb	13.6 MiB	2004-11-17 01:47
acl2_2.9-2_mipsel.deb	13.0 MiB	2004-11-13 03:32
acl2_2.9-2_powerpc.deb	15.4 MiB	2004-11-12 00:32
acl2_2.9-2_s390.deb	14.4 MiB	2004-11-11 18:32
acl2_2.9-2_sparc.deb	21.3 MiB	2004-11-29 00:32
acl2_2.9.orig.tar.gz	5.0 MiB	2005-04-30 19:19
acl2_3.1-1.diff.gz	13.0 KiB	2006-12-05 03:47
acl2_3.1-1.dsc	822 B	2006-12-05 03:47
acl2_3.1-1_alpha.deb	15.8 MiB	2006-12-05 18:32
acl2_3.1-1_amd64.deb	17.7 MiB	2006-12-05 05:47
acl2_3.1-1_arm.deb	16.0 MiB	2006-12-19 01:00
acl2_3.1-1_hppa.deb	15.4 MiB	2006-12-12 13:02
acl2_3.1-1_i386.deb	15.5 MiB	2006-12-05 03:47
acl2_3.1-1_ia64.deb	16.8 MiB	2006-12-05 23:32
acl2_3.1-1_m68k.deb	15.1 MiB	2007-02-12 15:02
acl2_3.1-1_mips.deb	15.1 MiB	2006-12-12 15:02
acl2_3.1-1_mipsel.deb	14.3 MiB	2007-01-08 17:32
acl2_3.1-1_powerpc.deb	17.0 MiB	2006-12-05 18:32
acl2_3.1-1_s390.deb	16.2 MiB	2006-12-05 23:02
acl2_3.1-1_sparc.deb	16.7 MiB	2007-01-01 02:32
acl2_3.1.orig.tar.gz	6.4 MiB	2006-12-05 03:47
acl2_4.0-3.diff.gz	15.6 KiB	2010-07-10 01:02
acl2_4.0-3.dsc	1.1 KiB	2010-07-10 01:02
acl2_4.0-3_amd64.deb	25.0 MiB	2010-07-10 05:32
acl2_4.0-3_armel.deb	22.4 MiB	2010-07-12 01:17
acl2_4.0-3_i386.deb	21.3 MiB	2010-07-10 01:02
acl2_4.0-3_ia64.deb	23.8 MiB	2010-07-10 19:17
acl2_4.0-3_kfreebsd-amd64.deb	25.0 MiB	2010-07-10 07:17
acl2_4.0-3_kfreebsd-i386.deb	21.2 MiB	2010-07-10 07:32
acl2_4.0-3_mips.deb	21.9 MiB	2010-07-23 22:32
acl2_4.0-3_mipsel.deb	20.8 MiB	2010-07-19 23:47
acl2_4.0-3_powerpc.deb	23.9 MiB	2010-07-20 04:47
acl2_4.0-3_s390.deb	23.7 MiB	2010-07-10 17:47
acl2_4.0-3_sparc.deb	25.5 MiB	2010-07-17 22:47
acl2_4.0.orig.tar.gz	10.9 MiB	2010-07-08 12:47
acl2_4.3-3.debian.tar.gz	17.9 KiB	2012-04-21 03:38
acl2_4.3-3.dsc	1.5 KiB	2012-04-21 03:38
acl2_4.3-3_amd64.deb	27.0 MiB	2012-04-21 08:02
acl2_4.3-3_armel.deb	23.4 MiB	2012-04-22 10:47
acl2_4.3-3_armhf.deb	22.3 MiB	2012-04-22 06:17
acl2_4.3-3_i386.deb	23.2 MiB	2012-04-21 03:38
acl2_4.3-3_ia64.deb	25.1 MiB	2012-04-23 22:47
acl2_4.3-3_kfreebsd-amd64.deb	27.0 MiB	2012-04-21 20:32
acl2_4.3-3_kfreebsd-i386.deb	23.2 MiB	2012-04-21 09:02
acl2_4.3-3_mips.deb	23.8 MiB	2012-04-22 04:47
acl2_4.3-3_mipsel.deb	22.5 MiB	2012-04-27 05:49
acl2_4.3-3_powerpc.deb	24.5 MiB	2012-04-21 09:47
acl2_4.3-3_s390.deb	25.1 MiB	2012-04-21 07:17
acl2_4.3-3_s390x.deb	29.2 MiB	2012-04-21 16:47
acl2_4.3-3_sparc.deb	26.9 MiB	2012-04-22 07:02
acl2_4.3.orig.tar.gz	14.5 MiB	2012-01-12 03:47
acl2_6.5-2.debian.tar.xz	125.3 KiB	2014-09-08 22:35
acl2_6.5-2.dsc	1.8 KiB	2014-09-08 22:35
acl2_6.5-2_amd64.deb	15.6 MiB	2014-09-08 22:35
acl2_6.5-2_arm64.deb	14.2 MiB	2014-09-17 07:00
acl2_6.5-2_armel.deb	13.1 MiB	2014-09-09 19:25
acl2_6.5-2_armhf.deb	13.5 MiB	2014-09-12 18:12
acl2_6.5-2_i386.deb	13.4 MiB	2014-09-09 05:44
acl2_6.5-2_kfreebsd-amd64.deb	15.6 MiB	2014-09-09 14:43
acl2_6.5-2_kfreebsd-i386.deb	13.4 MiB	2014-09-09 18:04
acl2_6.5-2_mips.deb	13.1 MiB	2014-10-03 07:44
acl2_6.5-2_mipsel.deb	13.4 MiB	2014-09-29 04:37
acl2_6.5-2_powerpc.deb	12.7 MiB	2014-09-09 01:57
acl2_6.5-2_ppc64el.deb	13.5 MiB	2014-09-09 12:07
acl2_6.5-2_s390x.deb	14.9 MiB	2014-09-09 08:46
acl2_6.5-2~bpo70+1.debian.tar.gz	159.6 KiB	2015-01-15 00:26
acl2_6.5-2~bpo70+1.dsc	2.3 KiB	2015-01-15 00:26
acl2_6.5-2~bpo70+1_amd64.deb	23.9 MiB	2015-01-15 00:26
acl2_6.5.orig-books.tar.gz	14.3 MiB	2014-08-17 23:21
acl2_6.5.orig.tar.gz	5.9 MiB	2014-08-17 23:21
acl2_7.2dfsg-3.debian.tar.xz	199.4 KiB	2016-10-17 22:35
acl2_7.2dfsg-3.dsc	2.2 KiB	2016-10-17 22:35
acl2_7.2dfsg-3_amd64.deb	17.3 MiB	2016-10-17 22:35
acl2_7.2dfsg-3_arm64.deb	14.9 MiB	2016-10-18 13:59
acl2_7.2dfsg-3_armel.deb	13.8 MiB	2016-10-19 13:29
acl2_7.2dfsg-3_armhf.deb	14.0 MiB	2016-10-19 09:33
acl2_7.2dfsg-3_i386.deb	14.9 MiB	2016-10-18 07:35
acl2_7.2dfsg-3_mips.deb	15.0 MiB	2016-10-18 23:12
acl2_7.2dfsg-3_mips64el.deb	14.9 MiB	2016-10-20 08:31
acl2_7.2dfsg-3_mipsel.deb	15.1 MiB	2016-10-19 22:45
acl2_7.2dfsg-3_ppc64el.deb	15.6 MiB	2016-10-18 06:34
acl2_7.2dfsg-3_s390x.deb	15.3 MiB	2016-10-18 15:30
acl2_7.2dfsg.orig.tar.gz	61.4 MiB	2016-04-14 21:54
acl2_8.0dfsg-1+b1_armel.deb	16.0 MiB	2019-02-14 21:00
acl2_8.0dfsg-1.debian.tar.xz	200.0 KiB	2018-01-13 21:52
acl2_8.0dfsg-1.dsc	2.2 KiB	2018-01-13 21:52
acl2_8.0dfsg-1_amd64.deb	18.9 MiB	2018-01-13 21:52
acl2_8.0dfsg-1_arm64.deb	17.0 MiB	2018-01-14 10:47
acl2_8.0dfsg-1_armhf.deb	15.4 MiB	2018-01-15 16:46
acl2_8.0dfsg-1_i386.deb	16.2 MiB	2018-01-14 05:26
acl2_8.0dfsg-1_mips.deb	16.5 MiB	2018-01-16 14:15
acl2_8.0dfsg-1_mips64el.deb	16.4 MiB	2018-01-16 11:44
acl2_8.0dfsg-1_mipsel.deb	16.7 MiB	2018-01-16 13:14
acl2_8.0dfsg-1_ppc64el.deb	18.5 MiB	2018-01-14 04:26
acl2_8.0dfsg-1_s390x.deb	17.2 MiB	2018-01-14 04:41
acl2_8.0dfsg.orig.tar.gz	74.0 MiB	2018-01-13 21:52
acl2_8.3dfsg-2.debian.tar.xz	223.0 KiB	2021-01-27 22:34
acl2_8.3dfsg-2.dsc	2.2 KiB	2021-01-27 22:34
acl2_8.3dfsg-2_amd64.deb	20.5 MiB	2021-01-28 05:57
acl2_8.3dfsg-2_arm64.deb	19.0 MiB	2021-01-28 23:43
acl2_8.3dfsg-2_armel.deb	17.6 MiB	2021-01-28 15:13
acl2_8.3dfsg-2_armhf.deb	17.7 MiB	2021-01-28 14:42
acl2_8.3dfsg-2_i386.deb	18.6 MiB	2021-01-28 06:22
acl2_8.3dfsg-2_mips64el.deb	18.4 MiB	2021-01-31 03:12
acl2_8.3dfsg-2_mipsel.deb	18.8 MiB	2021-01-29 17:42
acl2_8.3dfsg-2_ppc64el.deb	21.6 MiB	2021-01-28 07:44
acl2_8.3dfsg-2_s390x.deb	19.7 MiB	2021-01-28 10:35
acl2_8.3dfsg.orig.tar.gz	111.8 MiB	2020-08-24 10:39