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

[ICO]NameLast modifiedSize

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

Apache/2.4.29 (Ubuntu) Server at old-releases.ubuntu.com Port 80