File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_2.9-2.dsc794 B2005-Apr-30 12:19
acl2_3.1-1.dsc822 B2006-Dec-04 20:47
acl2_4.0-3.dsc1.1 KiB2010-Jul-09 18:02
acl2_4.3-3.dsc1.5 KiB2012-Apr-20 20:38
acl2_6.5-2.dsc1.8 KiB2014-Sep-08 15:35
acl2_7.2dfsg-3.dsc2.2 KiB2016-Oct-17 15:35
acl2_6.5-2~bpo70+1.dsc2.3 KiB2015-Jan-14 17:26
acl2_3.1-1.diff.gz13.0 KiB2006-Dec-04 20:47
acl2_4.0-3.diff.gz15.6 KiB2010-Jul-09 18:02
acl2_2.9-2.diff.gz17.7 KiB2004-Nov-11 04:02
acl2_4.3-3.debian.tar.gz17.9 KiB2012-Apr-20 20:38
acl2-emacs_2.9-2_all.deb47.6 KiB2005-Apr-30 12:19
acl2-emacs_3.1-1_all.deb49.4 KiB2006-Dec-04 20:47
acl2-emacs_4.0-3_all.deb56.8 KiB2010-Jul-09 18:02
acl2-emacs_4.3-3_all.deb59.4 KiB2012-Apr-20 20:38
acl2-emacs_6.5-2_all.deb59.4 KiB2014-Sep-08 15:35
acl2-emacs_7.2dfsg-3_all.deb62.6 KiB2016-Oct-17 15:35
acl2-emacs_6.5-2~bpo70+1_all.deb71.2 KiB2015-Jan-14 17:26
acl2-infix-source_7.2dfsg-3_all.deb77.0 KiB2016-Oct-17 15:35
acl2-infix-source_6.5-2_all.deb77.6 KiB2014-Sep-08 15:35
acl2-infix-source_2.9-2_all.deb82.3 KiB2004-Nov-11 04:02
acl2-infix-source_3.1-1_all.deb83.3 KiB2006-Dec-04 20:47
acl2-infix-source_4.0-3_all.deb87.2 KiB2010-Jul-09 18:02
acl2-infix-source_4.3-3_all.deb89.3 KiB2012-Apr-20 20:38
acl2-infix-source_6.5-2~bpo70+1_all.deb90.0 KiB2015-Jan-14 17:26
acl2_6.5-2.debian.tar.xz125.3 KiB2014-Sep-08 15:35
acl2-infix_6.5-2_powerpc.deb136.4 KiB2014-Sep-08 18:57
acl2-infix_6.5-2_s390x.deb137.8 KiB2014-Sep-09 01:46
acl2-infix_6.5-2_mips.deb145.1 KiB2014-Oct-03 00:44
acl2-infix_6.5-2_kfreebsd-amd64.deb145.1 KiB2014-Sep-09 07:43
acl2-infix_6.5-2_mipsel.deb146.4 KiB2014-Sep-28 21:37
acl2-infix_6.5-2_amd64.deb146.5 KiB2014-Sep-08 15:35
acl2-infix_6.5-2_kfreebsd-i386.deb147.5 KiB2014-Sep-09 11:04
acl2-infix_6.5-2_i386.deb148.0 KiB2014-Sep-08 22:44
acl2-infix_6.5-2_arm64.deb149.3 KiB2014-Sep-17 00:00
acl2-infix_6.5-2_ppc64el.deb152.3 KiB2014-Sep-09 05:07
acl2_6.5-2~bpo70+1.debian.tar.gz159.6 KiB2015-Jan-14 17:26
acl2-infix_3.1-1_s390.deb162.4 KiB2006-Dec-05 16:02
acl2-infix_4.3-3_s390.deb166.5 KiB2012-Apr-21 00:17
acl2-infix_3.1-1_i386.deb167.8 KiB2006-Dec-04 20:47
acl2-infix_2.9-2_m68k.deb174.1 KiB2004-Nov-16 10:02
acl2-infix_2.9-2_i386.deb176.9 KiB2004-Nov-11 04:02
acl2-infix_2.9-2_s390.deb177.7 KiB2004-Nov-11 11:32
acl2-infix_4.3-3_kfreebsd-i386.deb178.1 KiB2012-Apr-21 02:02
acl2-infix_4.3-3_i386.deb179.8 KiB2012-Apr-20 20:38
acl2-infix_3.1-1_arm.deb185.7 KiB2006-Dec-18 18:00
acl2-infix_4.0-3_mipsel.deb187.3 KiB2010-Jul-19 16:47
acl2-infix_4.3-3_s390x.deb190.2 KiB2012-Apr-21 09:47
acl2-infix_3.1-1_m68k.deb191.1 KiB2007-Feb-12 08:02
acl2-infix_3.1-1_mipsel.deb192.2 KiB2007-Jan-08 10:32
acl2-infix_3.1-1_amd64.deb194.0 KiB2006-Dec-04 22:47
acl2-infix_3.1-1_mips.deb197.3 KiB2006-Dec-12 08:02
acl2-infix_4.3-3_amd64.deb198.9 KiB2012-Apr-21 01:02
acl2_7.2dfsg-3.debian.tar.xz199.4 KiB2016-Oct-17 15:35
acl2-infix_4.3-3_kfreebsd-amd64.deb200.6 KiB2012-Apr-21 13:32
acl2-infix_2.9-2_arm.deb204.2 KiB2004-Nov-15 01:17
acl2-infix_4.3-3_sparc.deb211.7 KiB2012-Apr-22 00:02
acl2-infix_4.3-3_mipsel.deb214.3 KiB2012-Apr-26 22:49
acl2-infix_3.1-1_sparc.deb217.6 KiB2006-Dec-31 19:32
acl2-infix_4.3-3_powerpc.deb218.4 KiB2012-Apr-21 02:47
acl2-infix_6.5-2~bpo70+1_amd64.deb219.3 KiB2015-Jan-14 17:26
acl2-infix_4.3-3_mips.deb226.2 KiB2012-Apr-21 21:47
acl2-infix_2.9-2_mipsel.deb239.3 KiB2004-Nov-12 20:32
acl2-infix_3.1-1_powerpc.deb243.0 KiB2006-Dec-05 11:32
acl2-infix_2.9-2_sparc.deb248.9 KiB2004-Nov-28 17:32
acl2-infix_2.9-2_mips.deb250.8 KiB2004-Nov-16 18:47
acl2-infix_3.1-1_alpha.deb251.2 KiB2006-Dec-05 11:32
acl2-infix_4.3-3_ia64.deb255.8 KiB2012-Apr-23 15:47
acl2-infix_2.9-2_alpha.deb284.7 KiB2004-Nov-11 17:32
acl2-books-certs_2.9-2_all.deb288.9 KiB2004-Nov-11 04:02
acl2-infix_3.1-1_ia64.deb297.1 KiB2006-Dec-05 16:32
acl2-infix_2.9-2_powerpc.deb307.5 KiB2004-Nov-11 17:32
acl2-infix_2.9-2_ia64.deb344.1 KiB2004-Nov-25 02:47
acl2-doc_4.3-3_all.deb353.8 KiB2012-Apr-20 20:38
acl2-infix_4.3-3_armel.deb368.9 KiB2012-Apr-22 03:47
acl2-doc_7.2dfsg-3_all.deb372.3 KiB2016-Oct-17 15:35
acl2-infix_4.0-3_kfreebsd-i386.deb379.8 KiB2010-Jul-10 00:32
acl2-infix_7.2dfsg-3_i386.deb381.0 KiB2016-Oct-18 00:35
acl2-infix_4.0-3_i386.deb381.3 KiB2010-Jul-09 18:02
acl2-infix_7.2dfsg-3_armel.deb381.8 KiB2016-Oct-19 06:29
acl2-infix_2.9-2_hppa.deb381.9 KiB2004-Nov-25 02:47
acl2-infix_4.0-3_armel.deb383.7 KiB2010-Jul-11 18:17
acl2-infix_7.2dfsg-3_armhf.deb400.6 KiB2016-Oct-19 02:33
acl2-infix_4.3-3_armhf.deb400.7 KiB2012-Apr-21 23:17
acl2-infix_6.5-2_armel.deb402.7 KiB2014-Sep-09 12:25
acl2-infix_7.2dfsg-3_mips.deb407.9 KiB2016-Oct-18 16:12
acl2-infix_3.1-1_hppa.deb408.1 KiB2006-Dec-12 06:02
acl2-infix_7.2dfsg-3_s390x.deb408.3 KiB2016-Oct-18 08:30
acl2-infix_7.2dfsg-3_amd64.deb409.9 KiB2016-Oct-17 15:35
acl2-infix_7.2dfsg-3_ppc64el.deb412.9 KiB2016-Oct-17 23:34
acl2-infix_7.2dfsg-3_arm64.deb420.2 KiB2016-Oct-18 06:59
acl2-infix_4.0-3_amd64.deb420.5 KiB2010-Jul-09 22:32
acl2-infix_4.0-3_kfreebsd-amd64.deb421.2 KiB2010-Jul-10 00:17
acl2-infix_7.2dfsg-3_mips64el.deb423.7 KiB2016-Oct-20 01:31
acl2-infix_6.5-2_armhf.deb424.4 KiB2014-Sep-12 11:12
acl2-infix_7.2dfsg-3_mipsel.deb426.3 KiB2016-Oct-19 15:45
acl2-infix_4.0-3_mips.deb426.6 KiB2010-Jul-23 15:32
acl2-infix_4.0-3_sparc.deb441.6 KiB2010-Jul-17 15:47
acl2-infix_4.0-3_s390.deb449.5 KiB2010-Jul-10 10:47
acl2-infix_4.0-3_powerpc.deb511.1 KiB2010-Jul-19 21:47
acl2-infix_4.0-3_ia64.deb559.5 KiB2010-Jul-10 12:17
acl2-books_2.9-2_m68k.deb782.3 KiB2004-Nov-16 10:02
acl2-books_2.9-2_i386.deb813.8 KiB2004-Nov-11 04:02
acl2-books_2.9-2_arm.deb903.7 KiB2004-Nov-15 01:17
acl2-books_2.9-2_s390.deb923.1 KiB2004-Nov-11 11:32
acl2-books_2.9-2_sparc.deb972.2 KiB2004-Nov-28 17:32
acl2-books_2.9-2_mipsel.deb1.0 MiB2004-Nov-12 20:32
acl2-books_2.9-2_mips.deb1.1 MiB2004-Nov-16 18:47
acl2-books-source_2.9-2_all.deb1.2 MiB2004-Nov-11 04:02
acl2-books_2.9-2_powerpc.deb1.2 MiB2004-Nov-11 17:32
acl2-books_2.9-2_alpha.deb1.4 MiB2004-Nov-11 17:32
acl2-books_2.9-2_ia64.deb1.4 MiB2004-Nov-25 02:47
acl2-books_3.1-1_i386.deb1.5 MiB2006-Dec-04 20:47
acl2-books_3.1-1_m68k.deb1.6 MiB2007-Feb-12 08:02
acl2-doc_6.5-2_all.deb1.6 MiB2014-Sep-08 15:35
acl2-books_3.1-1_arm.deb1.6 MiB2006-Dec-18 18:00
acl2-books_3.1-1_s390.deb1.7 MiB2006-Dec-05 16:02
acl2-doc_2.9-2_all.deb1.7 MiB2004-Nov-11 04:02
acl2-books_3.1-1_sparc.deb1.8 MiB2006-Dec-31 19:32
acl2-books-certs_4.0-3_all.deb1.9 MiB2010-Jul-09 18:02
acl2-doc_3.1-1_all.deb1.9 MiB2006-Dec-04 20:47
acl2-books_3.1-1_mipsel.deb1.9 MiB2007-Jan-08 10:32
acl2-source_2.9-2_all.deb2.0 MiB2004-Nov-11 04:02
acl2-books_3.1-1_mips.deb2.0 MiB2006-Dec-12 08:02
acl2-books-source_3.1-1_all.deb2.1 MiB2006-Dec-04 20:47
acl2-books_3.1-1_amd64.deb2.2 MiB2006-Dec-04 22:47
acl2-source_3.1-1_all.deb2.2 MiB2006-Dec-04 20:47
acl2-doc_6.5-2~bpo70+1_all.deb2.2 MiB2015-Jan-14 17:26
acl2-books_3.1-1_powerpc.deb2.2 MiB2006-Dec-05 11:32
acl2-source_6.5-2_all.deb2.6 MiB2014-Sep-08 15:35
acl2-doc_4.0-3_all.deb2.7 MiB2010-Jul-09 18:02
acl2-books_3.1-1_alpha.deb2.7 MiB2006-Dec-05 11:32
acl2-source_7.2dfsg-3_all.deb2.8 MiB2016-Oct-17 15:35
acl2-books_3.1-1_ia64.deb2.8 MiB2006-Dec-05 16:32
acl2-source_4.0-3_all.deb2.9 MiB2010-Jul-09 18:02
acl2-source_4.3-3_all.deb3.1 MiB2012-Apr-20 20:38
acl2-source_6.5-2~bpo70+1_all.deb3.7 MiB2015-Jan-14 17:26
acl2-books-certs_4.3-3_all.deb4.2 MiB2012-Apr-20 20:38
acl2-books-certs_3.1-1_all.deb4.7 MiB2006-Dec-04 20:47
acl2_2.9.orig.tar.gz5.0 MiB2005-Apr-30 12:19
acl2-books-source_4.0-3_all.deb5.0 MiB2010-Jul-09 18:02
acl2_6.5.orig.tar.gz5.9 MiB2014-Aug-17 16:21
acl2-books-source_4.3-3_all.deb6.2 MiB2012-Apr-20 20:38
acl2-books-certs_6.5-2_all.deb6.2 MiB2014-Sep-08 15:35
acl2_3.1.orig.tar.gz6.4 MiB2006-Dec-04 20:47
acl2-books_2.9-2_hppa.deb6.5 MiB2004-Nov-25 02:47
acl2-books-source_6.5-2_all.deb6.6 MiB2014-Sep-08 15:35
acl2-books_3.1-1_hppa.deb7.4 MiB2006-Dec-12 06:02
acl2-books-source_6.5-2~bpo70+1_all.deb10.2 MiB2015-Jan-14 17:26
acl2-books-source_7.2dfsg-3_all.deb10.4 MiB2016-Oct-17 15:35
acl2_4.0.orig.tar.gz10.9 MiB2010-Jul-08 05:47
acl2-books_4.0-3_mipsel.deb12.6 MiB2010-Jul-19 16:47
acl2_6.5-2_powerpc.deb12.7 MiB2014-Sep-08 18:57
acl2-books_4.3-3_kfreebsd-i386.deb12.9 MiB2012-Apr-21 02:02
acl2_2.9-2_m68k.deb13.0 MiB2004-Nov-16 10:02
acl2_2.9-2_mipsel.deb13.0 MiB2004-Nov-12 20:32
acl2-books_4.3-3_s390.deb13.0 MiB2012-Apr-21 00:17
acl2_2.9-2_i386.deb13.1 MiB2004-Nov-11 04:02
acl2_6.5-2_mips.deb13.1 MiB2014-Oct-03 00:44
acl2_6.5-2_armel.deb13.1 MiB2014-Sep-09 12:25
acl2-books_4.3-3_i386.deb13.3 MiB2012-Apr-20 20:38
acl2_6.5-2_i386.deb13.4 MiB2014-Sep-08 22:44
acl2_6.5-2_kfreebsd-i386.deb13.4 MiB2014-Sep-09 11:04
acl2_6.5-2_mipsel.deb13.4 MiB2014-Sep-28 21:37
acl2_6.5-2_ppc64el.deb13.5 MiB2014-Sep-09 05:07
acl2_6.5-2_armhf.deb13.5 MiB2014-Sep-12 11:12
acl2_2.9-2_mips.deb13.6 MiB2004-Nov-16 18:47
acl2_2.9-2_hppa.deb13.7 MiB2004-Nov-25 02:47
acl2_7.2dfsg-3_armel.deb13.8 MiB2016-Oct-19 06:29
acl2_2.9-2_arm.deb13.8 MiB2004-Nov-15 01:17
acl2_7.2dfsg-3_armhf.deb14.0 MiB2016-Oct-19 02:33
acl2_6.5-2_arm64.deb14.2 MiB2014-Sep-17 00:00
acl2_3.1-1_mipsel.deb14.3 MiB2007-Jan-08 10:32
acl2_6.5.orig-books.tar.gz14.3 MiB2014-Aug-17 16:21
acl2_2.9-2_s390.deb14.4 MiB2004-Nov-11 11:32
acl2_4.3.orig.tar.gz14.5 MiB2012-Jan-11 20:47
acl2_2.9-2_alpha.deb14.6 MiB2004-Nov-11 17:32
acl2-books_4.3-3_s390x.deb14.8 MiB2012-Apr-21 09:47
acl2-books_4.3-3_sparc.deb14.8 MiB2012-Apr-22 00:02
acl2_7.2dfsg-3_i386.deb14.9 MiB2016-Oct-18 00:35
acl2_7.2dfsg-3_mips64el.deb14.9 MiB2016-Oct-20 01:31
acl2_6.5-2_s390x.deb14.9 MiB2014-Sep-09 01:46
acl2_7.2dfsg-3_arm64.deb14.9 MiB2016-Oct-18 06:59
acl2_7.2dfsg-3_mips.deb15.0 MiB2016-Oct-18 16:12
acl2_3.1-1_mips.deb15.1 MiB2006-Dec-12 08:02
acl2-books_4.3-3_kfreebsd-amd64.deb15.1 MiB2012-Apr-21 13:32
acl2_3.1-1_m68k.deb15.1 MiB2007-Feb-12 08:02
acl2_7.2dfsg-3_mipsel.deb15.1 MiB2016-Oct-19 15:45
acl2-books_4.3-3_powerpc.deb15.2 MiB2012-Apr-21 02:47
acl2-books_4.3-3_amd64.deb15.2 MiB2012-Apr-21 01:02
acl2_7.2dfsg-3_s390x.deb15.3 MiB2016-Oct-18 08:30
acl2_3.1-1_hppa.deb15.4 MiB2006-Dec-12 06:02
acl2_2.9-2_powerpc.deb15.4 MiB2004-Nov-11 17:32
acl2-books_4.3-3_mipsel.deb15.4 MiB2012-Apr-26 22:49
acl2_3.1-1_i386.deb15.5 MiB2006-Dec-04 20:47
acl2_6.5-2_kfreebsd-amd64.deb15.6 MiB2014-Sep-09 07:43
acl2_6.5-2_amd64.deb15.6 MiB2014-Sep-08 15:35
acl2_7.2dfsg-3_ppc64el.deb15.6 MiB2016-Oct-17 23:34
acl2_2.9-2_ia64.deb15.7 MiB2004-Nov-25 02:47
acl2_3.1-1_alpha.deb15.8 MiB2006-Dec-05 11:32
acl2_3.1-1_arm.deb16.0 MiB2006-Dec-18 18:00
acl2-books_4.3-3_mips.deb16.2 MiB2012-Apr-21 21:47
acl2_3.1-1_s390.deb16.2 MiB2006-Dec-05 16:02
acl2_3.1-1_sparc.deb16.7 MiB2006-Dec-31 19:32
acl2_3.1-1_ia64.deb16.8 MiB2006-Dec-05 16:32
acl2_3.1-1_powerpc.deb17.0 MiB2006-Dec-05 11:32
acl2_7.2dfsg-3_amd64.deb17.3 MiB2016-Oct-17 15:35
acl2_3.1-1_amd64.deb17.7 MiB2006-Dec-04 22:47
acl2-books_6.5-2_kfreebsd-i386.deb17.9 MiB2014-Sep-09 11:04
acl2-books_6.5-2_powerpc.deb18.1 MiB2014-Sep-08 18:57
acl2-books_4.3-3_ia64.deb18.2 MiB2012-Apr-23 15:47
acl2-books-certs_6.5-2~bpo70+1_all.deb18.7 MiB2015-Jan-14 17:26
acl2-books_6.5-2_ppc64el.deb19.1 MiB2014-Sep-09 05:07
acl2-books_6.5-2_s390x.deb19.8 MiB2014-Sep-09 01:46
acl2-books_6.5-2_mips.deb20.0 MiB2014-Oct-03 00:44
acl2-books_6.5-2_mipsel.deb20.4 MiB2014-Sep-28 21:37
acl2-books_6.5-2_i386.deb20.8 MiB2014-Sep-08 22:44
acl2_4.0-3_mipsel.deb20.8 MiB2010-Jul-19 16:47
acl2_4.0-3_kfreebsd-i386.deb21.2 MiB2010-Jul-10 00:32
acl2_4.0-3_i386.deb21.3 MiB2010-Jul-09 18:02
acl2_2.9-2_sparc.deb21.3 MiB2004-Nov-28 17:32
acl2-books_6.5-2_arm64.deb21.8 MiB2014-Sep-17 00:00
acl2_4.0-3_mips.deb21.9 MiB2010-Jul-23 15:32
acl2-books_6.5-2_amd64.deb22.1 MiB2014-Sep-08 15:35
acl2-books_6.5-2_kfreebsd-amd64.deb22.1 MiB2014-Sep-09 07:43
acl2_4.3-3_armhf.deb22.3 MiB2012-Apr-21 23:17
acl2_4.0-3_armel.deb22.4 MiB2010-Jul-11 18:17
acl2_4.3-3_mipsel.deb22.5 MiB2012-Apr-26 22:49
acl2_4.3-3_i386.deb23.2 MiB2012-Apr-20 20:38
acl2_4.3-3_kfreebsd-i386.deb23.2 MiB2012-Apr-21 02:02
acl2_4.3-3_armel.deb23.4 MiB2012-Apr-22 03:47
acl2_4.0-3_s390.deb23.7 MiB2010-Jul-10 10:47
acl2_4.0-3_ia64.deb23.8 MiB2010-Jul-10 12:17
acl2_4.3-3_mips.deb23.8 MiB2012-Apr-21 21:47
acl2_6.5-2~bpo70+1_amd64.deb23.9 MiB2015-Jan-14 17:26
acl2_4.0-3_powerpc.deb23.9 MiB2010-Jul-19 21:47
acl2_4.3-3_powerpc.deb24.5 MiB2012-Apr-21 02:47
acl2_4.0-3_kfreebsd-amd64.deb25.0 MiB2010-Jul-10 00:17
acl2_4.0-3_amd64.deb25.0 MiB2010-Jul-09 22:32
acl2_4.3-3_ia64.deb25.1 MiB2012-Apr-23 15:47
acl2_4.3-3_s390.deb25.1 MiB2012-Apr-21 00:17
acl2_4.0-3_sparc.deb25.5 MiB2010-Jul-17 15:47
acl2_4.3-3_sparc.deb26.9 MiB2012-Apr-22 00:02
acl2_4.3-3_amd64.deb27.0 MiB2012-Apr-21 01:02
acl2_4.3-3_kfreebsd-amd64.deb27.0 MiB2012-Apr-21 13:32
acl2_4.3-3_s390x.deb29.2 MiB2012-Apr-21 09:47
acl2-books_4.0-3_kfreebsd-i386.deb32.2 MiB2010-Jul-10 00:32
acl2-books_4.0-3_i386.deb32.4 MiB2010-Jul-09 18:02
acl2-books_4.0-3_armel.deb32.6 MiB2010-Jul-11 18:17
acl2-books_4.0-3_sparc.deb35.3 MiB2010-Jul-17 15:47
acl2-books_4.3-3_armel.deb36.2 MiB2012-Apr-22 03:47
acl2-books_4.3-3_armhf.deb36.5 MiB2012-Apr-21 23:17
acl2-books_4.0-3_mips.deb36.6 MiB2010-Jul-23 15:32
acl2-books_4.0-3_kfreebsd-amd64.deb36.7 MiB2010-Jul-10 00:17
acl2-books_4.0-3_amd64.deb36.7 MiB2010-Jul-09 22:32
acl2-books_4.0-3_ia64.deb39.6 MiB2010-Jul-10 12:17
acl2-books_4.0-3_s390.deb40.3 MiB2010-Jul-10 10:47
acl2-books_4.0-3_powerpc.deb42.0 MiB2010-Jul-19 21:47
acl2-books_6.5-2~bpo70+1_amd64.deb47.4 MiB2015-Jan-14 17:26
acl2-books-certs_7.2dfsg-3_all.deb52.3 MiB2016-Oct-17 15:35
acl2_7.2dfsg.orig.tar.gz61.4 MiB2016-Apr-14 14:54
acl2-books_6.5-2_armel.deb65.0 MiB2014-Sep-09 12:25
acl2-books_6.5-2_armhf.deb66.7 MiB2014-Sep-12 11:12
acl2-books_7.2dfsg-3_mips.deb71.3 MiB2016-Oct-18 16:12
acl2-books_7.2dfsg-3_mipsel.deb74.2 MiB2016-Oct-19 15:45
acl2-books_7.2dfsg-3_armel.deb86.3 MiB2016-Oct-19 06:29
acl2-books_7.2dfsg-3_i386.deb86.3 MiB2016-Oct-18 00:35
acl2-books_7.2dfsg-3_armhf.deb91.9 MiB2016-Oct-19 02:33
acl2-books_7.2dfsg-3_ppc64el.deb98.8 MiB2016-Oct-17 23:34
acl2-books_7.2dfsg-3_s390x.deb101.6 MiB2016-Oct-18 08:30
acl2-books_7.2dfsg-3_amd64.deb103.1 MiB2016-Oct-17 15:35
acl2-books_7.2dfsg-3_arm64.deb104.5 MiB2016-Oct-18 06:59
acl2-books_7.2dfsg-3_mips64el.deb108.2 MiB2016-Oct-20 01:31