Index of /ubuntu/pool/universe/a/acl2/
../
acl2-books-certs_3.1-1_all.deb 07-Dec-2006 12:04 5M
acl2-books-certs_3.4-1_all.deb 03-Jun-2011 15:53 1M
acl2-books-certs_3.4-2_all.deb 29-Apr-2009 07:05 1M
acl2-books-certs_3.6-4_all.deb 16-Feb-2010 16:05 2M
acl2-books-certs_4.0-3_all.deb 09-Sep-2010 06:05 2M
acl2-books-certs_4.1-5_all.deb 09-Nov-2010 10:04 2M
acl2-books-certs_4.2-1_all.deb 02-Sep-2011 11:03 2M
acl2-books-certs_4.3-2_all.deb 01-May-2012 09:05 4M
acl2-books-certs_4.3-3_all.deb 18-May-2012 22:33 4M
acl2-books-certs_6.0-2_all.deb 14-Jan-2013 15:33 5M
acl2-books-certs_6.3-5_all.deb 25-Oct-2013 00:36 11M
acl2-books-certs_7.1-1_all.deb 27-Jun-2015 21:48 13M
acl2-books-certs_8.2dfsg-3build1_all.deb 23-Mar-2020 21:24 66M
acl2-books-certs_8.4dfsg-2_all.deb 19-Dec-2021 09:10 221M
acl2-books-source_3.1-1_all.deb 07-Dec-2006 12:04 2M
acl2-books-source_3.4-1_all.deb 03-Jun-2011 15:53 3M
acl2-books-source_3.4-2_all.deb 29-Apr-2009 07:05 3M
acl2-books-source_3.6-4_all.deb 16-Feb-2010 16:05 5M
acl2-books-source_4.0-3_all.deb 09-Sep-2010 06:05 5M
acl2-books-source_4.1-5_all.deb 09-Nov-2010 10:04 5M
acl2-books-source_4.2-1_all.deb 02-Sep-2011 11:03 5M
acl2-books-source_4.3-2_all.deb 01-May-2012 09:05 6M
acl2-books-source_4.3-3_all.deb 18-May-2012 22:33 6M
acl2-books-source_6.0-2_all.deb 14-Jan-2013 15:33 7M
acl2-books-source_6.3-5_all.deb 25-Oct-2013 00:36 9M
acl2-books-source_7.1-1_all.deb 27-Jun-2015 21:48 10M
acl2-books-source_8.2dfsg-3build1_all.deb 23-Mar-2020 21:24 14M
acl2-books-source_8.4dfsg-2_all.deb 19-Dec-2021 09:10 21M
acl2-books_3.1-1_i386.deb 07-Dec-2006 12:04 2M
acl2-books_3.3-1ubuntu1_amd64.deb 17-Feb-2008 10:03 6M
acl2-books_3.4-1_amd64.deb 03-Jun-2011 15:53 24M
acl2-books_3.4-1_i386.deb 03-Jun-2011 15:53 20M
acl2-books_3.4-2_amd64.deb 29-Apr-2009 09:04 23M
acl2-books_3.4-2_i386.deb 29-Apr-2009 07:06 20M
acl2-books_3.6-4_amd64.deb 16-Feb-2010 16:05 33M
acl2-books_3.6-4_i386.deb 16-Feb-2010 16:05 29M
acl2-books_4.0-3_amd64.deb 07-Sep-2010 13:05 37M
acl2-books_4.0-3_i386.deb 09-Sep-2010 06:05 32M
acl2-books_4.1-5_amd64.deb 09-Nov-2010 11:04 39M
acl2-books_4.1-5_i386.deb 09-Nov-2010 10:04 34M
acl2-books_4.2-1_amd64.deb 02-Sep-2011 12:04 39M
acl2-books_4.2-1_i386.deb 02-Sep-2011 11:04 34M
acl2-books_4.3-2_amd64.deb 01-May-2012 19:04 48M
acl2-books_4.3-2_i386.deb 01-May-2012 09:08 42M
acl2-books_4.3-3_amd64.deb 19-May-2012 00:34 15M
acl2-books_4.3-3_i386.deb 18-May-2012 22:33 13M
acl2-books_6.0-2_amd64.deb 14-Jan-2013 16:03 18M
acl2-books_6.0-2_i386.deb 14-Jan-2013 15:33 16M
acl2-books_6.3-5_amd64.deb 25-Oct-2013 00:36 40M
acl2-books_6.3-5_i386.deb 25-Oct-2013 00:36 36M
acl2-books_7.1-1_amd64.deb 27-Jun-2015 21:48 19M
acl2-books_7.1-1_i386.deb 02-Jun-2015 10:43 18M
acl2-books_7.1dfsg-2_i386.deb 30-Oct-2015 13:39 55M
acl2-books_8.2dfsg-3build1_amd64.deb 23-Mar-2020 21:24 163M
acl2-books_8.4dfsg-2_amd64.deb 19-Dec-2021 09:09 338M
acl2-doc_3.1-1_all.deb 07-Dec-2006 12:04 2M
acl2-doc_3.4-1_all.deb 03-Jun-2011 15:53 2M
acl2-doc_3.4-2_all.deb 29-Apr-2009 07:05 2M
acl2-doc_3.6-4_all.deb 16-Feb-2010 16:05 2M
acl2-doc_4.0-3_all.deb 09-Sep-2010 06:05 3M
acl2-doc_4.1-5_all.deb 09-Nov-2010 10:04 3M
acl2-doc_4.2-1_all.deb 02-Sep-2011 11:03 264K
acl2-doc_4.3-2_all.deb 01-May-2012 09:05 343K
acl2-doc_4.3-3_all.deb 18-May-2012 22:33 348K
acl2-doc_6.0-2_all.deb 14-Jan-2013 15:33 7M
acl2-doc_6.3-5_all.deb 25-Oct-2013 00:36 12M
acl2-doc_7.1-1_all.deb 27-Jun-2015 21:48 353K
acl2-doc_8.2dfsg-3build1_all.deb 23-Mar-2020 21:24 418K
acl2-doc_8.4dfsg-2_all.deb 19-Dec-2021 09:09 441K
acl2-emacs_3.1-1_all.deb 07-Dec-2006 12:04 49K
acl2-emacs_3.4-1_all.deb 03-Jun-2011 15:53 54K
acl2-emacs_3.4-2_all.deb 29-Apr-2009 07:05 54K
acl2-emacs_3.6-4_all.deb 16-Feb-2010 16:05 56K
acl2-emacs_4.0-3_all.deb 09-Sep-2010 06:05 56K
acl2-emacs_4.1-5_all.deb 09-Nov-2010 10:04 50K
acl2-emacs_4.2-1_all.deb 02-Sep-2011 11:03 52K
acl2-emacs_4.3-2_all.deb 01-May-2012 09:05 51K
acl2-emacs_4.3-3_all.deb 18-May-2012 22:33 53K
acl2-emacs_6.0-2_all.deb 14-Jan-2013 15:33 54K
acl2-emacs_6.3-5_all.deb 25-Oct-2013 00:36 55K
acl2-emacs_7.1-1_all.deb 27-Jun-2015 21:48 55K
acl2-emacs_8.2dfsg-3build1_all.deb 23-Mar-2020 21:24 59K
acl2-infix-source_3.1-1_all.deb 07-Dec-2006 12:04 83K
acl2-infix-source_3.4-1_all.deb 03-Jun-2011 15:53 84K
acl2-infix-source_3.4-2_all.deb 29-Apr-2009 07:05 84K
acl2-infix-source_3.6-4_all.deb 16-Feb-2010 16:05 84K
acl2-infix-source_4.0-3_all.deb 09-Sep-2010 06:05 85K
acl2-infix-source_4.1-5_all.deb 09-Nov-2010 10:04 78K
acl2-infix-source_4.2-1_all.deb 02-Sep-2011 11:03 80K
acl2-infix-source_4.3-2_all.deb 01-May-2012 09:05 84K
acl2-infix-source_4.3-3_all.deb 18-May-2012 22:33 86K
acl2-infix-source_6.0-2_all.deb 14-Jan-2013 15:33 87K
acl2-infix-source_6.3-5_all.deb 25-Oct-2013 00:36 86K
acl2-infix-source_7.1-1_all.deb 27-Jun-2015 21:48 70K
acl2-infix-source_8.2dfsg-3build1_all.deb 23-Mar-2020 21:24 70K
acl2-infix-source_8.4dfsg-2_all.deb 19-Dec-2021 09:10 72K
acl2-infix_3.1-1_i386.deb 07-Dec-2006 12:04 166K
acl2-infix_3.3-1ubuntu1_amd64.deb 17-Feb-2008 10:03 195K
acl2-infix_3.4-1_amd64.deb 03-Jun-2011 15:53 432K
acl2-infix_3.4-1_i386.deb 03-Jun-2011 15:53 389K
acl2-infix_3.4-2_amd64.deb 29-Apr-2009 09:04 408K
acl2-infix_3.4-2_i386.deb 29-Apr-2009 07:05 375K
acl2-infix_3.6-4_amd64.deb 16-Feb-2010 16:05 421K
acl2-infix_3.6-4_i386.deb 16-Feb-2010 16:05 379K
acl2-infix_4.0-3_amd64.deb 07-Sep-2010 13:05 421K
acl2-infix_4.0-3_i386.deb 09-Sep-2010 06:05 380K
acl2-infix_4.1-5_amd64.deb 09-Nov-2010 11:04 441K
acl2-infix_4.1-5_i386.deb 09-Nov-2010 10:04 403K
acl2-infix_4.2-1_amd64.deb 02-Sep-2011 12:04 438K
acl2-infix_4.2-1_i386.deb 02-Sep-2011 11:04 400K
acl2-infix_4.3-2_amd64.deb 01-May-2012 19:04 485K
acl2-infix_4.3-2_i386.deb 01-May-2012 09:08 446K
acl2-infix_4.3-3_amd64.deb 19-May-2012 00:34 194K
acl2-infix_4.3-3_i386.deb 18-May-2012 22:33 173K
acl2-infix_6.0-2_amd64.deb 14-Jan-2013 16:03 195K
acl2-infix_6.0-2_i386.deb 14-Jan-2013 15:33 174K
acl2-infix_6.3-5_amd64.deb 25-Oct-2013 00:36 200K
acl2-infix_6.3-5_i386.deb 25-Oct-2013 00:36 189K
acl2-infix_7.1-1_amd64.deb 27-Jun-2015 21:48 140K
acl2-infix_7.1-1_i386.deb 02-Jun-2015 10:43 142K
acl2-infix_7.1dfsg-2_i386.deb 30-Oct-2015 13:39 368K
acl2-infix_8.2dfsg-3build1_amd64.deb 23-Mar-2020 21:24 470K
acl2-infix_8.4dfsg-2_amd64.deb 19-Dec-2021 09:09 551K
acl2-source_3.1-1_all.deb 07-Dec-2006 12:04 2M
acl2-source_3.4-1_all.deb 03-Jun-2011 15:53 2M
acl2-source_3.4-2_all.deb 29-Apr-2009 07:05 2M
acl2-source_3.6-4_all.deb 16-Feb-2010 16:05 3M
acl2-source_4.0-3_all.deb 09-Sep-2010 06:05 3M
acl2-source_4.1-5_all.deb 09-Nov-2010 10:04 3M
acl2-source_4.2-1_all.deb 02-Sep-2011 11:03 3M
acl2-source_4.3-2_all.deb 01-May-2012 09:05 3M
acl2-source_4.3-3_all.deb 18-May-2012 22:33 3M
acl2-source_6.0-2_all.deb 14-Jan-2013 15:33 4M
acl2-source_6.3-5_all.deb 25-Oct-2013 00:36 4M
acl2-source_7.1-1_all.deb 27-Jun-2015 21:48 3M
acl2-source_8.2dfsg-3build1_all.deb 23-Mar-2020 21:24 3M
acl2-source_8.4dfsg-2_all.deb 19-Dec-2021 09:10 3M
acl2_3.1-1_i386.deb 07-Dec-2006 12:04 15M
acl2_3.3-1ubuntu1.diff.gz 17-Feb-2008 08:03 13K
acl2_3.3-1ubuntu1.dsc 17-Feb-2008 08:03 1037
acl2_3.3-1ubuntu1_amd64.deb 17-Feb-2008 10:03 18M
acl2_3.3.orig.tar.gz 04-Dec-2007 20:05 7M
acl2_3.4-1.diff.gz 03-Jun-2011 15:53 13K
acl2_3.4-1.dsc 03-Jun-2011 15:53 1177
acl2_3.4-1_amd64.deb 03-Jun-2011 15:53 21M
acl2_3.4-1_i386.deb 03-Jun-2011 15:53 18M
acl2_3.4-2.diff.gz 29-Apr-2009 05:04 14K
acl2_3.4-2.dsc 29-Apr-2009 05:04 1183
acl2_3.4-2_amd64.deb 29-Apr-2009 09:04 21M
acl2_3.4-2_i386.deb 29-Apr-2009 07:06 18M
acl2_3.4.orig.tar.gz 03-Jun-2011 15:53 8M
acl2_3.6-4.diff.gz 02-Feb-2010 08:06 15K
acl2_3.6-4.dsc 02-Feb-2010 08:06 1168
acl2_3.6-4_amd64.deb 16-Feb-2010 16:05 22M
acl2_3.6-4_i386.deb 16-Feb-2010 16:05 20M
acl2_3.6.orig.tar.gz 02-Feb-2010 08:06 10M
acl2_4.0-3.diff.gz 07-Sep-2010 08:05 16K
acl2_4.0-3.dsc 07-Sep-2010 08:05 1168
acl2_4.0-3_amd64.deb 07-Sep-2010 13:05 25M
acl2_4.0-3_i386.deb 09-Sep-2010 06:05 21M
acl2_4.0.orig.tar.gz 07-Sep-2010 08:05 11M
acl2_4.1-5.debian.tar.gz 07-Nov-2010 20:05 17K
acl2_4.1-5.dsc 07-Nov-2010 20:05 1194
acl2_4.1-5_amd64.deb 09-Nov-2010 11:04 25M
acl2_4.1-5_i386.deb 09-Nov-2010 10:04 21M
acl2_4.1.orig.tar.gz 15-Oct-2010 19:08 11M
acl2_4.2-1.debian.tar.gz 15-May-2011 21:04 17K
acl2_4.2-1.dsc 15-May-2011 21:04 1194
acl2_4.2-1_amd64.deb 02-Sep-2011 12:04 25M
acl2_4.2-1_i386.deb 02-Sep-2011 11:04 22M
acl2_4.2.orig.tar.gz 15-May-2011 21:04 11M
acl2_4.3-2_amd64.deb 01-May-2012 19:04 28M
acl2_4.3-2_i386.deb 01-May-2012 09:08 24M
acl2_4.3-3.debian.tar.gz 06-May-2012 12:34 18K
acl2_4.3-3.dsc 06-May-2012 12:34 1491
acl2_4.3-3_amd64.deb 19-May-2012 00:34 27M
acl2_4.3-3_i386.deb 18-May-2012 22:33 23M
acl2_4.3.orig.tar.gz 01-May-2012 03:43 15M
acl2_6.0-2.debian.tar.gz 14-Jan-2013 13:33 155K
acl2_6.0-2.dsc 14-Jan-2013 13:33 1741
acl2_6.0-2_amd64.deb 14-Jan-2013 16:03 30M
acl2_6.0-2_i386.deb 14-Jan-2013 15:33 26M
acl2_6.0.orig-books.tar.gz 13-Jan-2013 19:33 10M
acl2_6.0.orig.tar.gz 13-Jan-2013 19:33 6M
acl2_6.3-5.debian.tar.gz 21-Oct-2013 21:09 158K
acl2_6.3-5.dsc 21-Oct-2013 21:09 1749
acl2_6.3-5_amd64.deb 25-Oct-2013 00:36 27M
acl2_6.3-5_i386.deb 25-Oct-2013 00:36 23M
acl2_6.3-6.debian.tar.gz 18-Nov-2013 01:18 158K
acl2_6.3-6.dsc 18-Nov-2013 01:18 1749
acl2_6.3.orig-books.tar.gz 21-Oct-2013 21:09 13M
acl2_6.3.orig.tar.gz 21-Oct-2013 21:09 7M
acl2_7.1-1.debian.tar.xz 02-Jun-2015 07:24 126K
acl2_7.1-1.dsc 02-Jun-2015 07:24 2203
acl2_7.1-1_amd64.deb 27-Jun-2015 21:48 16M
acl2_7.1-1_i386.deb 02-Jun-2015 10:43 16M
acl2_7.1.orig.tar.gz 02-Jun-2015 07:24 60M
acl2_7.1dfsg-2.debian.tar.xz 29-Oct-2015 13:39 199K
acl2_7.1dfsg-2.dsc 29-Oct-2015 13:39 2231
acl2_7.1dfsg-2_i386.deb 30-Oct-2015 13:39 14M
acl2_7.1dfsg.orig.tar.gz 24-Oct-2015 05:41 37M
acl2_8.2dfsg-3build1.debian.tar.xz 23-Mar-2020 15:00 201K
acl2_8.2dfsg-3build1.dsc 23-Mar-2020 15:00 2296
acl2_8.2dfsg-3build1_amd64.deb 23-Mar-2020 21:24 21M
acl2_8.2dfsg.orig.tar.gz 20-Dec-2019 07:13 77M
acl2_8.4dfsg-2.debian.tar.xz 02-Nov-2021 07:24 304K
acl2_8.4dfsg-2.dsc 02-Nov-2021 07:24 2281
acl2_8.4dfsg-2_amd64.deb 19-Dec-2021 09:10 25M
acl2_8.4dfsg.orig.tar.gz 29-Oct-2021 07:18 194M
elpa-acl2_8.4dfsg-2_all.deb 19-Dec-2021 09:09 69K