Index of /ubuntu-archive/ubuntu/pool/universe/a/acl2

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]acl2-books-certs_2.9-2_all.deb2004-11-12 03:00 290K
[ ]acl2-books-certs_2.9.3-5build1_all.deb2005-10-08 14:55 367K
[ ]acl2-books-certs_2.9.3-7_all.deb2005-10-27 18:20 367K
[ ]acl2-books-certs_3.0-1_all.deb2006-06-21 14:10 665K
[ ]acl2-books-certs_3.1-1_all.deb2006-12-06 22:04 4.7M
[ ]acl2-books-certs_3.3-1.1_all.deb2008-05-11 16:04 1.2M
[ ]acl2-books-certs_3.4-1_all.deb2008-11-05 04:04 1.2M
[ ]acl2-books-certs_3.4-2_all.deb2009-04-28 18:05 1.2M
[ ]acl2-books-certs_3.6-4_all.deb2010-02-16 02:05 1.9M
[ ]acl2-books-certs_4.0-3_all.deb2010-09-08 17:05 1.9M
[ ]acl2-books-certs_4.1-5_all.deb2010-11-08 20:04 1.9M
[ ]acl2-books-certs_4.2-1_all.deb2011-09-01 22:03 1.9M
[ ]acl2-books-certs_4.3-3_all.deb2012-05-18 09:33 4.2M
[ ]acl2-books-certs_6.0-2_all.deb2013-01-14 01:33 4.9M
[ ]acl2-books-certs_6.2-6_all.deb2013-07-31 09:38 9.7M
[ ]acl2-books-certs_6.4-4_all.deb2014-05-18 07:50 4.0M
[ ]acl2-books-certs_7.0-1_all.deb2015-01-27 08:50 66M
[ ]acl2-books-certs_7.1-1_all.deb2015-06-27 08:48 13M
[ ]acl2-books-certs_7.2dfsg-2_all.deb2016-05-05 01:24 52M
[ ]acl2-books-certs_8.0dfsg-1_all.deb2018-01-13 21:08 70M
[ ]acl2-books-certs_8.0dfsg-1build1_all.deb2019-01-15 12:13 70M
[ ]acl2-books-certs_8.1dfsg-3_all.deb2019-04-21 14:43 77M
[ ]acl2-books-certs_8.3dfsg-1_all.deb2020-08-24 07:19 5.7K
[ ]acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 01:19 139M
[ ]acl2-books-certs_8.5dfsg-1_all.deb2022-07-28 04:29 220M
[ ]acl2-books-source_2.9-2_all.deb2004-11-12 03:00 1.2M
[ ]acl2-books-source_2.9.3-5build1_all.deb2005-10-08 14:55 1.2M
[ ]acl2-books-source_2.9.3-7_all.deb2005-10-27 18:20 1.2M
[ ]acl2-books-source_3.0-1_all.deb2006-06-21 14:10 1.6M
[ ]acl2-books-source_3.1-1_all.deb2006-12-06 22:04 2.1M
[ ]acl2-books-source_3.3-1.1_all.deb2008-05-11 16:04 2.3M
[ ]acl2-books-source_3.4-1_all.deb2008-11-05 04:04 2.7M
[ ]acl2-books-source_3.4-2_all.deb2009-04-28 18:05 2.7M
[ ]acl2-books-source_3.6-4_all.deb2010-02-16 02:05 4.7M
[ ]acl2-books-source_4.0-3_all.deb2010-09-08 17:05 4.8M
[ ]acl2-books-source_4.1-5_all.deb2010-11-08 20:04 4.9M
[ ]acl2-books-source_4.2-1_all.deb2011-09-01 22:03 4.9M
[ ]acl2-books-source_4.3-3_all.deb2012-05-18 09:33 6.2M
[ ]acl2-books-source_6.0-2_all.deb2013-01-14 01:33 7.5M
[ ]acl2-books-source_6.2-6_all.deb2013-07-31 09:38 7.3M
[ ]acl2-books-source_6.4-4_all.deb2014-05-18 07:50 6.2M
[ ]acl2-books-source_7.0-1_all.deb2015-01-27 08:50 8.4M
[ ]acl2-books-source_7.1-1_all.deb2015-06-27 08:48 9.9M
[ ]acl2-books-source_7.2dfsg-2_all.deb2016-05-05 01:24 11M
[ ]acl2-books-source_8.0dfsg-1_all.deb2018-01-13 21:08 12M
[ ]acl2-books-source_8.0dfsg-1build1_all.deb2019-01-15 12:13 12M
[ ]acl2-books-source_8.1dfsg-3_all.deb2019-04-21 14:43 13M
[ ]acl2-books-source_8.3dfsg-1_all.deb2020-08-24 07:19 19M
[ ]acl2-books-source_8.3dfsg-2_all.deb2021-01-28 01:19 19M
[ ]acl2-books-source_8.5dfsg-1_all.deb2022-07-28 04:29 23M
[ ]acl2-books_2.8-4_amd64.deb2004-08-19 21:30 1.1M
[ ]acl2-books_2.8-4_i386.deb2004-08-14 01:30 855K
[ ]acl2-books_2.9-2_amd64.deb2004-11-12 03:15 1.0M
[ ]acl2-books_2.9-2_i386.deb2004-11-12 03:00 814K
[ ]acl2-books_2.9-2_ia64.deb2004-11-25 02:45 1.4M
[ ]acl2-books_2.9-2_powerpc.deb2004-11-12 04:00 1.2M
[ ]acl2-books_2.9.3-5build1_hppa.deb2005-10-09 04:55 3.5M
[ ]acl2-books_2.9.3-5build1_i386.deb2005-10-08 14:55 813K
[ ]acl2-books_2.9.3-5build1_ia64.deb2005-10-08 16:30 1.5M
[ ]acl2-books_2.9.3-7_amd64.deb2005-10-28 21:45 1.1M
[ ]acl2-books_2.9.3-7_i386.deb2005-10-27 18:20 813K
[ ]acl2-books_2.9.3-7_ia64.deb2005-10-28 01:05 1.5M
[ ]acl2-books_2.9.3-7_powerpc.deb2005-12-21 02:55 1.2M
[ ]acl2-books_2.9.3-7_sparc.deb2005-11-09 07:50 1.0M
[ ]acl2-books_3.0-1_amd64.deb2006-06-21 12:10 1.6M
[ ]acl2-books_3.0-1_i386.deb2006-06-21 14:10 1.1M
[ ]acl2-books_3.0-1_sparc.deb2006-06-22 11:09 1.4M
[ ]acl2-books_3.1-1_amd64.deb2006-12-07 12:04 2.0M
[ ]acl2-books_3.1-1_i386.deb2006-12-06 22:04 1.5M
[ ]acl2-books_3.1-1_ia64.deb2006-12-07 23:03 2.8M
[ ]acl2-books_3.1-1_powerpc.deb2006-12-07 05:03 2.2M
[ ]acl2-books_3.1-1_sparc.deb2006-12-08 06:03 1.8M
[ ]acl2-books_3.3-1.1_amd64.deb2008-05-11 01:04 21M
[ ]acl2-books_3.3-1.1_hppa.deb2008-05-21 18:04 28M
[ ]acl2-books_3.3-1.1_i386.deb2008-05-11 16:04 18M
[ ]acl2-books_3.3-1.1_ia64.deb2008-05-13 07:04 23M
[ ]acl2-books_3.3-1.1_lpia.deb2008-05-10 04:04 21M
[ ]acl2-books_3.3-1.1_powerpc.deb2008-05-11 00:05 24M
[ ]acl2-books_3.3-1.1_sparc.deb2008-05-14 08:04 19M
[ ]acl2-books_3.3-1ubuntu1_amd64.deb2008-02-16 20:03 6.1M
[ ]acl2-books_3.3-1ubuntu1_hppa.deb2008-02-17 15:03 18M
[ ]acl2-books_3.3-1ubuntu1_ia64.deb2008-02-16 23:03 8.6M
[ ]acl2-books_3.3-1ubuntu1_lpia.deb2008-02-16 20:03 4.4M
[ ]acl2-books_3.3-1ubuntu1_powerpc.deb2008-02-16 21:03 6.0M
[ ]acl2-books_3.3-1ubuntu1_sparc.deb2008-02-16 22:04 5.7M
[ ]acl2-books_3.4-1_amd64.deb2008-11-05 18:10 24M
[ ]acl2-books_3.4-1_hppa.deb2008-11-07 10:05 31M
[ ]acl2-books_3.4-1_i386.deb2008-11-05 04:05 20M
[ ]acl2-books_3.4-1_ia64.deb2008-11-06 16:09 25M
[ ]acl2-books_3.4-1_lpia.deb2008-11-14 02:04 24M
[ ]acl2-books_3.4-1_powerpc.deb2008-11-05 16:07 27M
[ ]acl2-books_3.4-1_sparc.deb2008-11-06 04:07 22M
[ ]acl2-books_3.4-2_amd64.deb2009-04-28 20:04 23M
[ ]acl2-books_3.4-2_i386.deb2009-04-28 18:06 20M
[ ]acl2-books_3.4-2_ia64.deb2009-04-29 00:06 26M
[ ]acl2-books_3.4-2_lpia.deb2009-04-28 18:06 19M
[ ]acl2-books_3.4-2_powerpc.deb2009-04-28 20:05 27M
[ ]acl2-books_3.4-2_sparc.deb2009-05-02 10:05 22M
[ ]acl2-books_3.6-4_amd64.deb2010-02-16 02:05 33M
[ ]acl2-books_3.6-4_i386.deb2010-02-16 02:05 29M
[ ]acl2-books_3.6-4_powerpc.deb2010-02-16 02:05 38M
[ ]acl2-books_3.6-4_sparc.deb2010-02-16 08:11 31M
[ ]acl2-books_4.0-3_amd64.deb2010-09-07 00:05 37M
[ ]acl2-books_4.0-3_i386.deb2010-09-08 17:05 32M
[ ]acl2-books_4.0-3_powerpc.deb2010-09-07 01:05 42M
[ ]acl2-books_4.1-5_amd64.deb2010-11-08 21:04 39M
[ ]acl2-books_4.1-5_i386.deb2010-11-08 20:04 34M
[ ]acl2-books_4.1-5_powerpc.deb2010-11-09 00:05 45M
[ ]acl2-books_4.2-1_amd64.deb2011-09-01 23:04 39M
[ ]acl2-books_4.2-1_armel.deb2011-09-04 20:04 34M
[ ]acl2-books_4.2-1_armhf.deb2012-02-01 21:33 33M
[ ]acl2-books_4.2-1_i386.deb2011-09-01 22:04 34M
[ ]acl2-books_4.2-1_powerpc.deb2011-05-15 15:04 45M
[ ]acl2-books_4.3-3_amd64.deb2012-05-18 11:34 15M
[ ]acl2-books_4.3-3_armel.deb2012-05-19 04:03 38M
[ ]acl2-books_4.3-3_armhf.deb2012-05-19 03:33 39M
[ ]acl2-books_4.3-3_i386.deb2012-05-18 09:33 13M
[ ]acl2-books_4.3-3_powerpc.deb2012-05-18 18:03 15M
[ ]acl2-books_6.0-2_amd64.deb2013-01-14 02:03 18M
[ ]acl2-books_6.0-2_i386.deb2013-01-14 01:33 16M
[ ]acl2-books_6.0-2_powerpc.deb2013-01-14 09:03 18M
[ ]acl2-books_6.2-6_amd64.deb2013-07-31 09:53 34M
[ ]acl2-books_6.2-6_armhf.deb2013-08-08 10:58 88M
[ ]acl2-books_6.2-6_i386.deb2013-07-31 09:38 30M
[ ]acl2-books_6.2-6_powerpc.deb2013-07-31 10:48 32M
[ ]acl2-books_6.4-4_amd64.deb2014-05-18 07:50 19M
[ ]acl2-books_6.4-4_arm64.deb2014-08-24 03:13 20M
[ ]acl2-books_6.4-4_armhf.deb2014-05-18 14:38 54M
[ ]acl2-books_6.4-4_i386.deb2014-05-18 07:50 17M
[ ]acl2-books_6.4-4_powerpc.deb2014-05-18 13:38 16M
[ ]acl2-books_7.0-1_amd64.deb2015-01-27 08:50 24M
[ ]acl2-books_7.0-1_arm64.deb2015-01-27 21:33 24M
[ ]acl2-books_7.0-1_armhf.deb2015-01-27 20:49 76M
[ ]acl2-books_7.0-1_i386.deb2015-01-27 11:06 23M
[ ]acl2-books_7.0-1_powerpc.deb2015-01-27 11:06 20M
[ ]acl2-books_7.1-1_amd64.deb2015-06-27 08:48 19M
[ ]acl2-books_7.1-1_arm64.deb2015-06-02 09:43 19M
[ ]acl2-books_7.1-1_armhf.deb2015-06-02 07:58 60M
[ ]acl2-books_7.1-1_i386.deb2015-06-01 21:43 18M
[ ]acl2-books_7.1-1_powerpc.deb2015-06-02 00:48 15M
[ ]acl2-books_7.2dfsg-2_amd64.deb2016-05-05 01:24 102M
[ ]acl2-books_7.2dfsg-2_arm64.deb2016-05-08 20:39 104M
[ ]acl2-books_7.2dfsg-2_armhf.deb2016-05-05 18:09 87M
[ ]acl2-books_7.2dfsg-2_i386.deb2016-05-05 02:09 88M
[ ]acl2-books_7.2dfsg-2_powerpc.deb2018-06-13 01:40 66M
[ ]acl2-books_7.2dfsg-2_s390x.deb2018-06-13 03:43 102M
[ ]acl2-books_8.0dfsg-1_amd64.deb2018-01-13 21:08 132M
[ ]acl2-books_8.0dfsg-1_arm64.deb2018-01-21 21:23 135M
[ ]acl2-books_8.0dfsg-1_armhf.deb2018-01-21 17:13 116M
[ ]acl2-books_8.0dfsg-1_i386.deb2018-01-13 22:49 114M
[ ]acl2-books_8.0dfsg-1_ppc64el.deb2018-01-31 08:58 135M
[ ]acl2-books_8.0dfsg-1_s390x.deb2018-01-23 15:18 122M
[ ]acl2-books_8.0dfsg-1build1_amd64.deb2019-01-15 12:13 145M
[ ]acl2-books_8.0dfsg-1build1_arm64.deb2019-01-16 12:03 142M
[ ]acl2-books_8.0dfsg-1build1_armhf.deb2019-01-16 15:28 133M
[ ]acl2-books_8.0dfsg-1build1_i386.deb2019-01-15 10:47 127M
[ ]acl2-books_8.0dfsg-1build1_s390x.deb2019-01-15 08:28 132M
[ ]acl2-books_8.1dfsg-3_amd64.deb2019-04-21 14:43 156M
[ ]acl2-books_8.1dfsg-3_arm64.deb2019-04-22 07:23 153M
[ ]acl2-books_8.1dfsg-3_armhf.deb2019-04-22 04:43 141M
[ ]acl2-books_8.1dfsg-3_i386.deb2019-04-21 18:31 139M
[ ]acl2-books_8.1dfsg-3_ppc64el.deb2019-04-21 18:48 156M
[ ]acl2-books_8.1dfsg-3_s390x.deb2019-04-21 14:28 143M
[ ]acl2-books_8.3dfsg-1_amd64.deb2020-08-24 07:19 4.2K
[ ]acl2-books_8.3dfsg-1_arm64.deb2020-08-24 09:13 4.2K
[ ]acl2-books_8.3dfsg-1_armhf.deb2020-08-24 08:21 4.2K
[ ]acl2-books_8.3dfsg-1_ppc64el.deb2020-08-24 07:23 4.2K
[ ]acl2-books_8.3dfsg-1_s390x.deb2020-08-24 07:13 4.2K
[ ]acl2-books_8.3dfsg-2_amd64.deb2021-01-28 01:19 241M
[ ]acl2-books_8.3dfsg-2_arm64.deb2021-03-29 08:23 232M
[ ]acl2-books_8.3dfsg-2_armhf.deb2021-01-28 23:24 220M
[ ]acl2-books_8.3dfsg-2_ppc64el.deb2021-03-28 14:08 230M
[ ]acl2-books_8.3dfsg-2_s390x.deb2021-01-27 23:25 231M
[ ]acl2-books_8.5dfsg-1_amd64.deb2022-07-28 04:29 335M
[ ]acl2-books_8.5dfsg-1_arm64.deb2022-08-01 21:53 334M
[ ]acl2-books_8.5dfsg-1_armhf.deb2022-07-31 23:13 316M
[ ]acl2-books_8.5dfsg-1_ppc64el.deb2022-07-28 05:37 353M
[ ]acl2-books_8.5dfsg-1_s390x.deb2022-07-28 04:29 320M
[ ]acl2-doc_2.9-2_all.deb2004-11-12 03:00 1.7M
[ ]acl2-doc_2.9.3-5build1_all.deb2005-10-08 14:55 1.8M
[ ]acl2-doc_2.9.3-7_all.deb2005-10-27 18:20 1.8M
[ ]acl2-doc_3.0-1_all.deb2006-06-21 14:10 1.8M
[ ]acl2-doc_3.1-1_all.deb2006-12-06 22:04 1.9M
[ ]acl2-doc_3.3-1.1_all.deb2008-05-11 16:04 2.1M
[ ]acl2-doc_3.4-1_all.deb2008-11-05 04:04 2.2M
[ ]acl2-doc_3.4-2_all.deb2009-04-28 18:05 2.2M
[ ]acl2-doc_3.6-4_all.deb2010-02-16 02:05 2.3M
[ ]acl2-doc_4.0-3_all.deb2010-09-08 17:05 2.6M
[ ]acl2-doc_4.1-5_all.deb2010-11-08 20:04 2.6M
[ ]acl2-doc_4.2-1_all.deb2011-09-01 22:03 264K
[ ]acl2-doc_4.3-3_all.deb2012-05-18 09:33 348K
[ ]acl2-doc_6.0-2_all.deb2013-01-14 01:33 7.2M
[ ]acl2-doc_6.2-6_all.deb2013-07-31 09:38 7.5M
[ ]acl2-doc_6.4-4_all.deb2014-05-18 07:50 1.6M
[ ]acl2-doc_7.0-1_all.deb2015-01-27 08:50 331K
[ ]acl2-doc_7.1-1_all.deb2015-06-27 08:48 353K
[ ]acl2-doc_7.2dfsg-2_all.deb2016-05-05 01:24 366K
[ ]acl2-doc_8.0dfsg-1_all.deb2018-01-13 21:08 385K
[ ]acl2-doc_8.0dfsg-1build1_all.deb2019-01-15 12:13 385K
[ ]acl2-doc_8.1dfsg-3_all.deb2019-04-21 14:43 396K
[ ]acl2-doc_8.3dfsg-1_all.deb2020-08-24 07:18 429K
[ ]acl2-doc_8.3dfsg-2_all.deb2021-01-28 01:19 429K
[ ]acl2-doc_8.5dfsg-1_all.deb2022-07-28 04:29 473K
[ ]acl2-emacs_2.9-2_all.deb2004-11-12 03:00 48K
[ ]acl2-emacs_2.9.3-5build1_all.deb2005-10-08 14:55 48K
[ ]acl2-emacs_2.9.3-7_all.deb2005-10-27 18:20 48K
[ ]acl2-emacs_3.0-1_all.deb2006-06-21 14:10 49K
[ ]acl2-emacs_3.1-1_all.deb2006-12-06 22:04 49K
[ ]acl2-emacs_3.3-1.1_all.deb2008-05-11 16:04 53K
[ ]acl2-emacs_3.4-1_all.deb2008-11-05 04:04 54K
[ ]acl2-emacs_3.4-2_all.deb2009-04-28 18:05 54K
[ ]acl2-emacs_3.6-4_all.deb2010-02-16 02:05 56K
[ ]acl2-emacs_4.0-3_all.deb2010-09-08 17:05 56K
[ ]acl2-emacs_4.1-5_all.deb2010-11-08 20:04 50K
[ ]acl2-emacs_4.2-1_all.deb2011-09-01 22:03 52K
[ ]acl2-emacs_4.3-3_all.deb2012-05-18 09:33 53K
[ ]acl2-emacs_6.0-2_all.deb2013-01-14 01:33 54K
[ ]acl2-emacs_6.2-6_all.deb2013-07-31 09:38 53K
[ ]acl2-emacs_6.4-4_all.deb2014-05-18 07:50 53K
[ ]acl2-emacs_7.0-1_all.deb2015-01-27 08:50 54K
[ ]acl2-emacs_7.1-1_all.deb2015-06-27 08:48 55K
[ ]acl2-emacs_7.2dfsg-2_all.deb2016-05-05 01:24 56K
[ ]acl2-emacs_8.0dfsg-1_all.deb2018-01-13 21:08 59K
[ ]acl2-emacs_8.0dfsg-1build1_all.deb2019-01-15 12:13 59K
[ ]acl2-emacs_8.1dfsg-3_all.deb2019-04-21 14:43 59K
[ ]acl2-emacs_8.3dfsg-1_all.deb2020-08-24 07:19 60K
[ ]acl2-emacs_8.3dfsg-2_all.deb2021-01-28 01:19 60K
[ ]acl2-infix-source_2.9-2_all.deb2004-11-12 03:00 82K
[ ]acl2-infix-source_2.9.3-5build1_all.deb2005-10-08 14:55 83K
[ ]acl2-infix-source_2.9.3-7_all.deb2005-10-27 18:20 83K
[ ]acl2-infix-source_3.0-1_all.deb2006-06-21 14:10 83K
[ ]acl2-infix-source_3.1-1_all.deb2006-12-06 22:04 83K
[ ]acl2-infix-source_3.3-1.1_all.deb2008-05-11 16:04 84K
[ ]acl2-infix-source_3.4-1_all.deb2008-11-05 04:04 84K
[ ]acl2-infix-source_3.4-2_all.deb2009-04-28 18:05 84K
[ ]acl2-infix-source_3.6-4_all.deb2010-02-16 02:05 84K
[ ]acl2-infix-source_4.0-3_all.deb2010-09-08 17:05 85K
[ ]acl2-infix-source_4.1-5_all.deb2010-11-08 20:04 78K
[ ]acl2-infix-source_4.2-1_all.deb2011-09-01 22:03 80K
[ ]acl2-infix-source_4.3-3_all.deb2012-05-18 09:33 86K
[ ]acl2-infix-source_6.0-2_all.deb2013-01-14 01:33 87K
[ ]acl2-infix-source_6.2-6_all.deb2013-07-31 09:38 86K
[ ]acl2-infix-source_6.4-4_all.deb2014-05-18 07:50 70K
[ ]acl2-infix-source_7.0-1_all.deb2015-01-27 08:50 72K
[ ]acl2-infix-source_7.1-1_all.deb2015-06-27 08:48 70K
[ ]acl2-infix-source_7.2dfsg-2_all.deb2016-05-05 01:24 71K
[ ]acl2-infix-source_8.0dfsg-1_all.deb2018-01-13 21:08 70K
[ ]acl2-infix-source_8.0dfsg-1build1_all.deb2019-01-15 12:13 70K
[ ]acl2-infix-source_8.1dfsg-3_all.deb2019-04-21 14:43 70K
[ ]acl2-infix-source_8.3dfsg-1_all.deb2020-08-24 07:18 70K
[ ]acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 01:19 70K
[ ]acl2-infix-source_8.5dfsg-1_all.deb2022-07-28 04:29 72K
[ ]acl2-infix_2.8-4_amd64.deb2004-08-19 21:30 210K
[ ]acl2-infix_2.8-4_i386.deb2004-08-14 01:30 174K
[ ]acl2-infix_2.9-2_amd64.deb2004-11-12 03:15 210K
[ ]acl2-infix_2.9-2_i386.deb2004-11-12 03:00 177K
[ ]acl2-infix_2.9-2_ia64.deb2004-11-25 02:45 344K
[ ]acl2-infix_2.9-2_powerpc.deb2004-11-12 04:00 307K
[ ]acl2-infix_2.9.3-5build1_hppa.deb2005-10-09 04:55 378K
[ ]acl2-infix_2.9.3-5build1_i386.deb2005-10-08 14:55 165K
[ ]acl2-infix_2.9.3-5build1_ia64.deb2005-10-08 16:30 292K
[ ]acl2-infix_2.9.3-7_amd64.deb2005-10-28 21:45 198K
[ ]acl2-infix_2.9.3-7_i386.deb2005-10-27 18:20 165K
[ ]acl2-infix_2.9.3-7_ia64.deb2005-10-28 01:05 292K
[ ]acl2-infix_2.9.3-7_powerpc.deb2005-12-21 02:55 240K
[ ]acl2-infix_2.9.3-7_sparc.deb2005-11-09 07:50 217K
[ ]acl2-infix_3.0-1_amd64.deb2006-06-21 12:10 196K
[ ]acl2-infix_3.0-1_i386.deb2006-06-21 14:10 162K
[ ]acl2-infix_3.0-1_sparc.deb2006-06-22 11:09 219K
[ ]acl2-infix_3.1-1_amd64.deb2006-12-07 12:04 194K
[ ]acl2-infix_3.1-1_i386.deb2006-12-06 22:04 166K
[ ]acl2-infix_3.1-1_ia64.deb2006-12-07 23:03 297K
[ ]acl2-infix_3.1-1_powerpc.deb2006-12-07 05:03 243K
[ ]acl2-infix_3.1-1_sparc.deb2006-12-08 06:03 218K
[ ]acl2-infix_3.3-1.1_amd64.deb2008-05-11 01:04 432K
[ ]acl2-infix_3.3-1.1_hppa.deb2008-05-21 18:04 591K
[ ]acl2-infix_3.3-1.1_i386.deb2008-05-11 16:04 388K
[ ]acl2-infix_3.3-1.1_ia64.deb2008-05-13 07:04 549K
[ ]acl2-infix_3.3-1.1_lpia.deb2008-05-10 04:04 455K
[ ]acl2-infix_3.3-1.1_powerpc.deb2008-05-11 00:05 505K
[ ]acl2-infix_3.3-1.1_sparc.deb2008-05-14 08:04 424K
[ ]acl2-infix_3.3-1ubuntu1_amd64.deb2008-02-16 20:03 195K
[ ]acl2-infix_3.3-1ubuntu1_hppa.deb2008-02-17 15:03 409K
[ ]acl2-infix_3.3-1ubuntu1_ia64.deb2008-02-16 23:03 295K
[ ]acl2-infix_3.3-1ubuntu1_lpia.deb2008-02-16 20:03 171K
[ ]acl2-infix_3.3-1ubuntu1_powerpc.deb2008-02-16 21:03 223K
[ ]acl2-infix_3.3-1ubuntu1_sparc.deb2008-02-16 22:04 213K
[ ]acl2-infix_3.4-1_amd64.deb2008-11-05 18:10 432K
[ ]acl2-infix_3.4-1_hppa.deb2008-11-07 10:05 586K
[ ]acl2-infix_3.4-1_i386.deb2008-11-05 04:05 389K
[ ]acl2-infix_3.4-1_ia64.deb2008-11-06 16:09 542K
[ ]acl2-infix_3.4-1_lpia.deb2008-11-14 02:04 456K
[ ]acl2-infix_3.4-1_powerpc.deb2008-11-05 16:07 505K
[ ]acl2-infix_3.4-1_sparc.deb2008-11-06 04:07 424K
[ ]acl2-infix_3.4-2_amd64.deb2009-04-28 20:04 408K
[ ]acl2-infix_3.4-2_i386.deb2009-04-28 18:05 375K
[ ]acl2-infix_3.4-2_ia64.deb2009-04-29 00:06 562K
[ ]acl2-infix_3.4-2_lpia.deb2009-04-28 18:06 341K
[ ]acl2-infix_3.4-2_powerpc.deb2009-04-28 20:05 502K
[ ]acl2-infix_3.4-2_sparc.deb2009-05-02 10:05 424K
[ ]acl2-infix_3.6-4_amd64.deb2010-02-16 02:05 421K
[ ]acl2-infix_3.6-4_i386.deb2010-02-16 02:05 379K
[ ]acl2-infix_3.6-4_powerpc.deb2010-02-16 02:05 511K
[ ]acl2-infix_3.6-4_sparc.deb2010-02-16 08:11 442K
[ ]acl2-infix_4.0-3_amd64.deb2010-09-07 00:05 421K
[ ]acl2-infix_4.0-3_i386.deb2010-09-08 17:05 380K
[ ]acl2-infix_4.0-3_powerpc.deb2010-09-07 01:05 511K
[ ]acl2-infix_4.1-5_amd64.deb2010-11-08 21:04 441K
[ ]acl2-infix_4.1-5_i386.deb2010-11-08 20:04 403K
[ ]acl2-infix_4.1-5_powerpc.deb2010-11-09 00:05 535K
[ ]acl2-infix_4.2-1_amd64.deb2011-09-01 23:04 438K
[ ]acl2-infix_4.2-1_armel.deb2011-09-04 20:04 393K
[ ]acl2-infix_4.2-1_armhf.deb2012-02-01 21:33 393K
[ ]acl2-infix_4.2-1_i386.deb2011-09-01 22:04 400K
[ ]acl2-infix_4.2-1_powerpc.deb2011-05-15 15:04 521K
[ ]acl2-infix_4.3-3_amd64.deb2012-05-18 11:34 194K
[ ]acl2-infix_4.3-3_armel.deb2012-05-19 04:03 381K
[ ]acl2-infix_4.3-3_armhf.deb2012-05-19 03:33 423K
[ ]acl2-infix_4.3-3_i386.deb2012-05-18 09:33 173K
[ ]acl2-infix_4.3-3_powerpc.deb2012-05-18 18:03 214K
[ ]acl2-infix_6.0-2_amd64.deb2013-01-14 02:03 195K
[ ]acl2-infix_6.0-2_i386.deb2013-01-14 01:33 174K
[ ]acl2-infix_6.0-2_powerpc.deb2013-01-14 09:03 215K
[ ]acl2-infix_6.2-6_amd64.deb2013-07-31 09:53 198K
[ ]acl2-infix_6.2-6_armhf.deb2013-08-08 10:58 530K
[ ]acl2-infix_6.2-6_i386.deb2013-07-31 09:38 181K
[ ]acl2-infix_6.2-6_powerpc.deb2013-07-31 10:48 207K
[ ]acl2-infix_6.4-4_amd64.deb2014-05-18 07:50 140K
[ ]acl2-infix_6.4-4_arm64.deb2014-08-24 03:13 141K
[ ]acl2-infix_6.4-4_armhf.deb2014-05-18 14:38 415K
[ ]acl2-infix_6.4-4_i386.deb2014-05-18 07:50 136K
[ ]acl2-infix_6.4-4_powerpc.deb2014-05-18 13:38 131K
[ ]acl2-infix_7.0-1_amd64.deb2015-01-27 08:50 140K
[ ]acl2-infix_7.0-1_arm64.deb2015-01-27 21:33 147K
[ ]acl2-infix_7.0-1_armhf.deb2015-01-27 20:49 424K
[ ]acl2-infix_7.0-1_i386.deb2015-01-27 11:06 142K
[ ]acl2-infix_7.0-1_powerpc.deb2015-01-27 11:06 133K
[ ]acl2-infix_7.1-1_amd64.deb2015-06-27 08:48 140K
[ ]acl2-infix_7.1-1_arm64.deb2015-06-02 09:43 147K
[ ]acl2-infix_7.1-1_armhf.deb2015-06-02 07:58 423K
[ ]acl2-infix_7.1-1_i386.deb2015-06-01 21:43 142K
[ ]acl2-infix_7.1-1_powerpc.deb2015-06-02 00:48 133K
[ ]acl2-infix_7.2dfsg-2_amd64.deb2016-05-05 01:24 392K
[ ]acl2-infix_7.2dfsg-2_arm64.deb2016-05-08 20:38 406K
[ ]acl2-infix_7.2dfsg-2_armhf.deb2016-05-05 18:09 382K
[ ]acl2-infix_7.2dfsg-2_i386.deb2016-05-05 02:09 369K
[ ]acl2-infix_7.2dfsg-2_powerpc.deb2018-06-13 01:40 356K
[ ]acl2-infix_7.2dfsg-2_s390x.deb2018-06-13 03:43 381K
[ ]acl2-infix_8.0dfsg-1_amd64.deb2018-01-13 21:08 414K
[ ]acl2-infix_8.0dfsg-1_arm64.deb2018-01-21 21:23 421K
[ ]acl2-infix_8.0dfsg-1_armhf.deb2018-01-21 17:13 400K
[ ]acl2-infix_8.0dfsg-1_i386.deb2018-01-13 22:49 381K
[ ]acl2-infix_8.0dfsg-1_ppc64el.deb2018-01-31 08:57 464K
[ ]acl2-infix_8.0dfsg-1_s390x.deb2018-01-23 15:18 378K
[ ]acl2-infix_8.0dfsg-1build1_amd64.deb2019-01-15 12:13 471K
[ ]acl2-infix_8.0dfsg-1build1_arm64.deb2019-01-16 12:03 459K
[ ]acl2-infix_8.0dfsg-1build1_armhf.deb2019-01-16 15:28 461K
[ ]acl2-infix_8.0dfsg-1build1_i386.deb2019-01-15 10:47 434K
[ ]acl2-infix_8.0dfsg-1build1_s390x.deb2019-01-15 08:28 431K
[ ]acl2-infix_8.1dfsg-3_amd64.deb2019-04-21 14:43 472K
[ ]acl2-infix_8.1dfsg-3_arm64.deb2019-04-22 07:23 458K
[ ]acl2-infix_8.1dfsg-3_armhf.deb2019-04-22 04:43 445K
[ ]acl2-infix_8.1dfsg-3_i386.deb2019-04-21 18:31 475K
[ ]acl2-infix_8.1dfsg-3_ppc64el.deb2019-04-21 18:48 486K
[ ]acl2-infix_8.1dfsg-3_s390x.deb2019-04-21 14:28 429K
[ ]acl2-infix_8.3dfsg-1_amd64.deb2020-08-24 07:19 472K
[ ]acl2-infix_8.3dfsg-1_arm64.deb2020-08-24 09:13 461K
[ ]acl2-infix_8.3dfsg-1_armhf.deb2020-08-24 08:21 436K
[ ]acl2-infix_8.3dfsg-1_ppc64el.deb2020-08-24 07:23 489K
[ ]acl2-infix_8.3dfsg-1_s390x.deb2020-08-24 07:13 434K
[ ]acl2-infix_8.3dfsg-2_amd64.deb2021-01-28 01:19 471K
[ ]acl2-infix_8.3dfsg-2_arm64.deb2021-03-29 08:23 461K
[ ]acl2-infix_8.3dfsg-2_armhf.deb2021-01-28 23:24 434K
[ ]acl2-infix_8.3dfsg-2_ppc64el.deb2021-03-28 14:08 488K
[ ]acl2-infix_8.3dfsg-2_s390x.deb2021-01-27 23:25 432K
[ ]acl2-infix_8.5dfsg-1_amd64.deb2022-07-28 04:29 533K
[ ]acl2-infix_8.5dfsg-1_arm64.deb2022-08-01 21:53 540K
[ ]acl2-infix_8.5dfsg-1_armhf.deb2022-07-31 23:13 541K
[ ]acl2-infix_8.5dfsg-1_ppc64el.deb2022-07-28 05:37 577K
[ ]acl2-infix_8.5dfsg-1_s390x.deb2022-07-28 04:29 503K
[ ]acl2-source_2.9-2_all.deb2004-11-12 03:00 2.0M
[ ]acl2-source_2.9.3-5build1_all.deb2005-10-08 14:55 2.0M
[ ]acl2-source_2.9.3-7_all.deb2005-10-27 18:20 2.0M
[ ]acl2-source_3.0-1_all.deb2006-06-21 14:10 2.1M
[ ]acl2-source_3.1-1_all.deb2006-12-06 22:04 2.2M
[ ]acl2-source_3.3-1.1_all.deb2008-05-11 16:04 2.4M
[ ]acl2-source_3.4-1_all.deb2008-11-05 04:04 2.5M
[ ]acl2-source_3.4-2_all.deb2009-04-28 18:05 2.5M
[ ]acl2-source_3.6-4_all.deb2010-02-16 02:05 2.6M
[ ]acl2-source_4.0-3_all.deb2010-09-08 17:05 2.9M
[ ]acl2-source_4.1-5_all.deb2010-11-08 20:04 2.9M
[ ]acl2-source_4.2-1_all.deb2011-09-01 22:03 3.0M
[ ]acl2-source_4.3-3_all.deb2012-05-18 09:33 3.1M
[ ]acl2-source_6.0-2_all.deb2013-01-14 01:33 3.5M
[ ]acl2-source_6.2-6_all.deb2013-07-31 09:38 3.6M
[ ]acl2-source_6.4-4_all.deb2014-05-18 07:50 2.6M
[ ]acl2-source_7.0-1_all.deb2015-01-27 08:50 2.7M
[ ]acl2-source_7.1-1_all.deb2015-06-27 08:48 2.7M
[ ]acl2-source_7.2dfsg-2_all.deb2016-05-05 01:24 2.8M
[ ]acl2-source_8.0dfsg-1_all.deb2018-01-13 21:08 2.9M
[ ]acl2-source_8.0dfsg-1build1_all.deb2019-01-15 12:13 2.9M
[ ]acl2-source_8.1dfsg-3_all.deb2019-04-21 14:43 3.0M
[ ]acl2-source_8.3dfsg-1_all.deb2020-08-24 07:19 3.2M
[ ]acl2-source_8.3dfsg-2_all.deb2021-01-28 01:19 3.2M
[ ]acl2-source_8.5dfsg-1_all.deb2022-07-28 04:29 3.5M
[ ]acl2_2.8-4.diff.gz2004-07-26 18:46 12K
[TXT]acl2_2.8-4.dsc2004-07-26 18:46 795
[ ]acl2_2.8-4_amd64.deb2004-08-19 21:30 10M
[ ]acl2_2.8-4_i386.deb2004-08-14 01:30 12M
[ ]acl2_2.8.orig.tar.gz2004-07-26 18:46 4.9M
[ ]acl2_2.9-2.diff.gz2004-11-11 21:18 18K
[TXT]acl2_2.9-2.dsc2004-11-11 21:18 794
[ ]acl2_2.9-2_amd64.deb2004-11-12 03:15 16M
[ ]acl2_2.9-2_i386.deb2004-11-12 03:00 13M
[ ]acl2_2.9-2_ia64.deb2004-11-25 02:45 16M
[ ]acl2_2.9-2_powerpc.deb2004-11-12 04:00 15M
[ ]acl2_2.9.3-5build1.diff.gz2005-10-08 13:15 19K
[TXT]acl2_2.9.3-5build1.dsc2005-10-08 13:15 816
[ ]acl2_2.9.3-5build1_hppa.deb2005-10-09 04:55 14M
[ ]acl2_2.9.3-5build1_i386.deb2005-10-08 14:55 13M
[ ]acl2_2.9.3-5build1_ia64.deb2005-10-08 16:30 16M
[ ]acl2_2.9.3-7.diff.gz2005-10-24 21:40 20K
[TXT]acl2_2.9.3-7.dsc2005-10-24 21:40 805
[ ]acl2_2.9.3-7_amd64.deb2005-10-28 21:45 16M
[ ]acl2_2.9.3-7_i386.deb2005-10-27 18:20 13M
[ ]acl2_2.9.3-7_ia64.deb2005-10-28 01:05 16M
[ ]acl2_2.9.3-7_powerpc.deb2005-12-21 02:55 15M
[ ]acl2_2.9.3-7_sparc.deb2005-11-09 07:50 17M
[ ]acl2_2.9.3.orig.tar.gz2005-10-08 09:55 5.2M
[ ]acl2_2.9.orig.tar.gz2004-10-29 21:18 5.0M
[ ]acl2_3.0-1.diff.gz2006-06-15 12:58 13K
[TXT]acl2_3.0-1.dsc2006-06-15 12:58 797
[ ]acl2_3.0-1_amd64.deb2006-06-21 12:10 17M
[ ]acl2_3.0-1_i386.deb2006-06-21 14:10 14M
[ ]acl2_3.0-1_sparc.deb2006-06-22 11:09 18M
[ ]acl2_3.0.orig.tar.gz2006-06-15 12:58 5.7M
[ ]acl2_3.1-1.diff.gz2006-12-06 09:05 13K
[TXT]acl2_3.1-1.dsc2006-12-06 09:05 822
[ ]acl2_3.1-1_amd64.deb2006-12-07 12:04 18M
[ ]acl2_3.1-1_i386.deb2006-12-06 22:04 15M
[ ]acl2_3.1-1_ia64.deb2006-12-07 23:03 17M
[ ]acl2_3.1-1_powerpc.deb2006-12-07 05:03 17M
[ ]acl2_3.1-1_sparc.deb2006-12-08 06:03 17M
[ ]acl2_3.1.orig.tar.gz2006-12-06 09:05 6.4M
[ ]acl2_3.2-1.diff.gz2007-05-21 04:03 13K
[TXT]acl2_3.2-1.dsc2007-05-21 04:03 822
[ ]acl2_3.2.orig.tar.gz2007-05-21 04:03 6.7M
[ ]acl2_3.3-1.1.diff.gz2008-05-09 08:06 13K
[TXT]acl2_3.3-1.1.dsc2008-05-09 08:06 821
[ ]acl2_3.3-1.1_amd64.deb2008-05-11 01:04 18M
[ ]acl2_3.3-1.1_hppa.deb2008-05-21 18:04 17M
[ ]acl2_3.3-1.1_i386.deb2008-05-11 16:04 16M
[ ]acl2_3.3-1.1_ia64.deb2008-05-13 07:04 18M
[ ]acl2_3.3-1.1_lpia.deb2008-05-10 04:04 16M
[ ]acl2_3.3-1.1_powerpc.deb2008-05-11 00:05 18M
[ ]acl2_3.3-1.1_sparc.deb2008-05-14 08:04 18M
[ ]acl2_3.3-1ubuntu1.diff.gz2008-02-16 18:03 13K
[TXT]acl2_3.3-1ubuntu1.dsc2008-02-16 18:03 1.0K
[ ]acl2_3.3-1ubuntu1_amd64.deb2008-02-16 20:03 18M
[ ]acl2_3.3-1ubuntu1_hppa.deb2008-02-17 15:03 17M
[ ]acl2_3.3-1ubuntu1_ia64.deb2008-02-16 23:03 18M
[ ]acl2_3.3-1ubuntu1_lpia.deb2008-02-16 20:03 16M
[ ]acl2_3.3-1ubuntu1_powerpc.deb2008-02-16 21:03 18M
[ ]acl2_3.3-1ubuntu1_sparc.deb2008-02-16 22:04 18M
[ ]acl2_3.3.orig.tar.gz2007-12-04 06:05 7.0M
[ ]acl2_3.4-1.diff.gz2008-11-04 20:06 13K
[TXT]acl2_3.4-1.dsc2008-11-04 20:06 1.1K
[ ]acl2_3.4-1_amd64.deb2008-11-05 18:10 21M
[ ]acl2_3.4-1_hppa.deb2008-11-07 10:05 19M
[ ]acl2_3.4-1_i386.deb2008-11-05 04:05 18M
[ ]acl2_3.4-1_ia64.deb2008-11-06 16:09 21M
[ ]acl2_3.4-1_lpia.deb2008-11-14 02:04 18M
[ ]acl2_3.4-1_powerpc.deb2008-11-05 16:07 20M
[ ]acl2_3.4-1_sparc.deb2008-11-06 04:07 21M
[ ]acl2_3.4-2.diff.gz2009-04-28 16:04 14K
[TXT]acl2_3.4-2.dsc2009-04-28 16:04 1.2K
[ ]acl2_3.4-2_amd64.deb2009-04-28 20:04 21M
[ ]acl2_3.4-2_i386.deb2009-04-28 18:06 18M
[ ]acl2_3.4-2_ia64.deb2009-04-29 00:06 21M
[ ]acl2_3.4-2_lpia.deb2009-04-28 18:06 18M
[ ]acl2_3.4-2_powerpc.deb2009-04-28 20:05 20M
[ ]acl2_3.4-2_sparc.deb2009-05-02 10:05 21M
[ ]acl2_3.4.orig.tar.gz2008-11-04 20:06 7.6M
[ ]acl2_3.6-4.diff.gz2010-02-01 18:06 15K
[TXT]acl2_3.6-4.dsc2010-02-01 18:06 1.1K
[ ]acl2_3.6-4_amd64.deb2010-02-16 02:05 22M
[ ]acl2_3.6-4_i386.deb2010-02-16 02:05 20M
[ ]acl2_3.6-4_powerpc.deb2010-02-16 02:05 22M
[ ]acl2_3.6-4_sparc.deb2010-02-16 08:11 23M
[ ]acl2_3.6.orig.tar.gz2010-02-01 18:06 10M
[ ]acl2_4.0-3.diff.gz2010-09-06 19:05 16K
[TXT]acl2_4.0-3.dsc2010-09-06 19:05 1.1K
[ ]acl2_4.0-3_amd64.deb2010-09-07 00:05 25M
[ ]acl2_4.0-3_i386.deb2010-09-08 17:05 21M
[ ]acl2_4.0-3_powerpc.deb2010-09-07 01:05 24M
[ ]acl2_4.0.orig.tar.gz2010-09-06 19:05 11M
[ ]acl2_4.1-5.debian.tar.gz2010-11-07 06:05 17K
[TXT]acl2_4.1-5.dsc2010-11-07 06:05 1.2K
[ ]acl2_4.1-5_amd64.deb2010-11-08 21:04 25M
[ ]acl2_4.1-5_i386.deb2010-11-08 20:04 21M
[ ]acl2_4.1-5_powerpc.deb2010-11-09 00:05 23M
[ ]acl2_4.1.orig.tar.gz2010-10-15 06:08 11M
[ ]acl2_4.2-1.debian.tar.gz2011-05-15 08:04 17K
[TXT]acl2_4.2-1.dsc2011-05-15 08:04 1.2K
[ ]acl2_4.2-1_amd64.deb2011-09-01 23:04 25M
[ ]acl2_4.2-1_armel.deb2011-09-04 20:04 21M
[ ]acl2_4.2-1_armhf.deb2012-02-01 21:33 21M
[ ]acl2_4.2-1_i386.deb2011-09-01 22:04 22M
[ ]acl2_4.2-1_powerpc.deb2011-05-15 15:04 23M
[ ]acl2_4.2.orig.tar.gz2011-05-15 08:04 11M
[ ]acl2_4.3-3.debian.tar.gz2012-05-05 23:34 18K
[TXT]acl2_4.3-3.dsc2012-05-05 23:34 1.5K
[ ]acl2_4.3-3_amd64.deb2012-05-18 11:34 27M
[ ]acl2_4.3-3_armel.deb2012-05-19 04:03 23M
[ ]acl2_4.3-3_armhf.deb2012-05-19 03:34 23M
[ ]acl2_4.3-3_i386.deb2012-05-18 09:33 23M
[ ]acl2_4.3-3_powerpc.deb2012-05-18 18:03 25M
[ ]acl2_4.3.orig.tar.gz2012-04-30 14:43 15M
[ ]acl2_6.0-2.debian.tar.gz2013-01-13 23:33 155K
[TXT]acl2_6.0-2.dsc2013-01-13 23:33 1.7K
[ ]acl2_6.0-2_amd64.deb2013-01-14 02:03 30M
[ ]acl2_6.0-2_i386.deb2013-01-14 01:33 26M
[ ]acl2_6.0-2_powerpc.deb2013-01-14 09:03 27M
[ ]acl2_6.0.orig-books.tar.gz2013-01-13 05:33 10M
[ ]acl2_6.0.orig.tar.gz2013-01-13 05:33 6.5M
[ ]acl2_6.2-6.debian.tar.gz2013-07-31 04:38 157K
[TXT]acl2_6.2-6.dsc2013-07-31 04:38 1.7K
[ ]acl2_6.2-6_amd64.deb2013-07-31 09:53 27M
[ ]acl2_6.2-6_armhf.deb2013-08-08 10:58 23M
[ ]acl2_6.2-6_i386.deb2013-07-31 09:38 23M
[ ]acl2_6.2-6_powerpc.deb2013-07-31 10:48 25M
[ ]acl2_6.2.orig-books.tar.gz2013-07-13 06:28 11M
[ ]acl2_6.2.orig.tar.gz2013-07-13 06:28 6.6M
[ ]acl2_6.4-4.debian.tar.xz2014-05-18 06:13 124K
[TXT]acl2_6.4-4.dsc2014-05-18 06:13 1.8K
[ ]acl2_6.4-4_amd64.deb2014-05-18 07:50 15M
[ ]acl2_6.4-4_arm64.deb2014-08-24 03:13 14M
[ ]acl2_6.4-4_armhf.deb2014-05-18 14:38 13M
[ ]acl2_6.4-4_i386.deb2014-05-18 07:50 12M
[ ]acl2_6.4-4_powerpc.deb2014-05-18 13:38 12M
[ ]acl2_6.4.orig-books.tar.gz2014-05-02 18:18 14M
[ ]acl2_6.4.orig.tar.gz2014-05-02 18:18 5.8M
[ ]acl2_7.0-1.debian.tar.xz2015-01-27 05:39 126K
[TXT]acl2_7.0-1.dsc2015-01-27 05:39 2.2K
[ ]acl2_7.0-1_amd64.deb2015-01-27 08:50 15M
[ ]acl2_7.0-1_arm64.deb2015-01-27 21:33 14M
[ ]acl2_7.0-1_armhf.deb2015-01-27 20:49 13M
[ ]acl2_7.0-1_i386.deb2015-01-27 11:06 13M
[ ]acl2_7.0-1_powerpc.deb2015-01-27 11:06 12M
[ ]acl2_7.0.orig.tar.gz2015-01-27 05:39 56M
[ ]acl2_7.1-1.debian.tar.xz2015-06-01 18:24 126K
[TXT]acl2_7.1-1.dsc2015-06-01 18:24 2.2K
[ ]acl2_7.1-1_amd64.deb2015-06-27 08:48 16M
[ ]acl2_7.1-1_arm64.deb2015-06-02 09:43 15M
[ ]acl2_7.1-1_armhf.deb2015-06-02 07:58 15M
[ ]acl2_7.1-1_i386.deb2015-06-01 21:43 16M
[ ]acl2_7.1-1_powerpc.deb2015-06-02 00:48 13M
[ ]acl2_7.1.orig.tar.gz2015-06-01 18:24 60M
[ ]acl2_7.2dfsg-2.debian.tar.xz2016-05-04 18:29 199K
[TXT]acl2_7.2dfsg-2.dsc2016-05-04 18:29 2.2K
[ ]acl2_7.2dfsg-2_amd64.deb2016-05-05 01:24 17M
[ ]acl2_7.2dfsg-2_arm64.deb2016-05-08 20:39 15M
[ ]acl2_7.2dfsg-2_armhf.deb2016-05-05 18:09 14M
[ ]acl2_7.2dfsg-2_i386.deb2016-05-05 02:09 15M
[ ]acl2_7.2dfsg-2_powerpc.deb2018-06-13 01:40 14M
[ ]acl2_7.2dfsg-2_s390x.deb2018-06-13 03:43 17M
[ ]acl2_7.2dfsg.orig.tar.gz2016-04-26 17:12 61M
[ ]acl2_8.0dfsg-1.debian.tar.xz2018-01-13 17:08 200K
[TXT]acl2_8.0dfsg-1.dsc2018-01-13 17:08 2.2K
[ ]acl2_8.0dfsg-1_amd64.deb2018-01-13 21:08 19M
[ ]acl2_8.0dfsg-1_arm64.deb2018-01-21 21:23 17M
[ ]acl2_8.0dfsg-1_armhf.deb2018-01-21 17:13 15M
[ ]acl2_8.0dfsg-1_i386.deb2018-01-13 22:49 16M
[ ]acl2_8.0dfsg-1_ppc64el.deb2018-01-31 08:58 19M
[ ]acl2_8.0dfsg-1_s390x.deb2018-01-23 15:18 18M
[ ]acl2_8.0dfsg-1build1.debian.tar.xz2019-01-15 05:08 200K
[TXT]acl2_8.0dfsg-1build1.dsc2019-01-15 05:08 2.2K
[ ]acl2_8.0dfsg-1build1_amd64.deb2019-01-15 12:13 19M
[ ]acl2_8.0dfsg-1build1_arm64.deb2019-01-16 12:03 18M
[ ]acl2_8.0dfsg-1build1_armhf.deb2019-01-16 15:28 16M
[ ]acl2_8.0dfsg-1build1_i386.deb2019-01-15 10:47 17M
[ ]acl2_8.0dfsg-1build1_s390x.deb2019-01-15 08:28 19M
[ ]acl2_8.0dfsg.orig.tar.gz2018-01-13 17:08 74M
[ ]acl2_8.1dfsg-3.debian.tar.xz2019-04-21 06:46 200K
[TXT]acl2_8.1dfsg-3.dsc2019-04-21 06:46 2.2K
[ ]acl2_8.1dfsg-3_amd64.deb2019-04-21 14:43 19M
[ ]acl2_8.1dfsg-3_arm64.deb2019-04-22 07:23 19M
[ ]acl2_8.1dfsg-3_armhf.deb2019-04-22 04:43 17M
[ ]acl2_8.1dfsg-3_i386.deb2019-04-21 18:31 18M
[ ]acl2_8.1dfsg-3_ppc64el.deb2019-04-21 18:48 19M
[ ]acl2_8.1dfsg-3_s390x.deb2019-04-21 14:28 18M
[ ]acl2_8.1dfsg.orig.tar.gz2019-04-21 06:46 75M
[ ]acl2_8.3dfsg-1.debian.tar.xz2020-08-24 06:13 201K
[TXT]acl2_8.3dfsg-1.dsc2020-08-24 06:13 2.2K
[ ]acl2_8.3dfsg-1_amd64.deb2020-08-24 07:18 20M
[ ]acl2_8.3dfsg-1_arm64.deb2020-08-24 09:13 19M
[ ]acl2_8.3dfsg-1_armhf.deb2020-08-24 08:21 17M
[ ]acl2_8.3dfsg-1_ppc64el.deb2020-08-24 07:23 21M
[ ]acl2_8.3dfsg-1_s390x.deb2020-08-24 07:13 20M
[ ]acl2_8.3dfsg-2.debian.tar.xz2021-01-27 17:19 223K
[TXT]acl2_8.3dfsg-2.dsc2021-01-27 17:19 2.2K
[ ]acl2_8.3dfsg-2_amd64.deb2021-01-28 01:19 21M
[ ]acl2_8.3dfsg-2_arm64.deb2021-03-29 08:23 19M
[ ]acl2_8.3dfsg-2_armhf.deb2021-01-28 23:24 18M
[ ]acl2_8.3dfsg-2_ppc64el.deb2021-03-28 14:08 21M
[ ]acl2_8.3dfsg-2_s390x.deb2021-01-27 23:25 20M
[ ]acl2_8.3dfsg.orig.tar.gz2020-08-24 06:13 112M
[ ]acl2_8.5dfsg-1.debian.tar.xz2022-07-27 18:33 305K
[TXT]acl2_8.5dfsg-1.dsc2022-07-27 18:33 2.2K
[ ]acl2_8.5dfsg-1_amd64.deb2022-07-28 04:29 26M
[ ]acl2_8.5dfsg-1_arm64.deb2022-08-01 21:53 24M
[ ]acl2_8.5dfsg-1_armhf.deb2022-07-31 23:13 22M
[ ]acl2_8.5dfsg-1_ppc64el.deb2022-07-28 05:37 26M
[ ]acl2_8.5dfsg-1_s390x.deb2022-07-28 04:29 25M
[ ]acl2_8.5dfsg.orig.tar.gz2022-07-27 18:33 213M
[ ]elpa-acl2_8.5dfsg-1_all.deb2022-07-28 04:29 70K