Index of /ubuntu/pool/universe/a/acl2/
../
acl2-books-certs_4.2-1_all.deb 02-Sep-2011 11:03 2M
acl2-books-certs_6.3-5_all.deb 25-Oct-2013 00:36 11M
acl2-books-certs_7.0-1_all.deb 27-Jan-2015 22:50 66M
acl2-books-certs_7.1-1_all.deb 27-Jun-2015 21:48 13M
acl2-books-certs_7.2dfsg-2_all.deb 05-May-2016 14:24 52M
acl2-books-certs_7.4dfsg-3.1_all.deb 10-Aug-2017 15:37 61M
acl2-books-certs_7.4dfsg-4_all.deb 03-Nov-2017 19:11 61M
acl2-books-source_4.2-1_all.deb 02-Sep-2011 11:03 5M
acl2-books-source_6.3-5_all.deb 25-Oct-2013 00:36 9M
acl2-books-source_7.0-1_all.deb 27-Jan-2015 22:50 8M
acl2-books-source_7.1-1_all.deb 27-Jun-2015 21:48 10M
acl2-books-source_7.2dfsg-2_all.deb 05-May-2016 14:24 11M
acl2-books-source_7.4dfsg-3.1_all.deb 10-Aug-2017 15:37 11M
acl2-books-source_7.4dfsg-4_all.deb 03-Nov-2017 19:11 11M
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_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.0-1_amd64.deb 27-Jan-2015 22:50 24M
acl2-books_7.0-1_i386.deb 28-Jan-2015 01:06 23M
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.2dfsg-2_amd64.deb 05-May-2016 14:24 102M
acl2-books_7.2dfsg-2_i386.deb 05-May-2016 15:09 88M
acl2-books_7.4dfsg-3.1_amd64.deb 10-Aug-2017 15:37 119M
acl2-books_7.4dfsg-3.1_i386.deb 10-Aug-2017 15:38 102M
acl2-books_7.4dfsg-4_amd64.deb 03-Nov-2017 19:11 119M
acl2-books_7.4dfsg-4_i386.deb 04-Nov-2017 01:55 102M
acl2-doc_4.2-1_all.deb 02-Sep-2011 11:03 264K
acl2-doc_6.3-5_all.deb 25-Oct-2013 00:36 12M
acl2-doc_7.0-1_all.deb 27-Jan-2015 22:50 331K
acl2-doc_7.1-1_all.deb 27-Jun-2015 21:48 353K
acl2-doc_7.2dfsg-2_all.deb 05-May-2016 14:24 366K
acl2-doc_7.4dfsg-3.1_all.deb 10-Aug-2017 15:37 372K
acl2-doc_7.4dfsg-4_all.deb 03-Nov-2017 19:11 371K
acl2-emacs_4.2-1_all.deb 02-Sep-2011 11:03 52K
acl2-emacs_6.3-5_all.deb 25-Oct-2013 00:36 55K
acl2-emacs_7.0-1_all.deb 27-Jan-2015 22:50 54K
acl2-emacs_7.1-1_all.deb 27-Jun-2015 21:48 55K
acl2-emacs_7.2dfsg-2_all.deb 05-May-2016 14:24 56K
acl2-emacs_7.4dfsg-3.1_all.deb 10-Aug-2017 15:37 59K
acl2-emacs_7.4dfsg-4_all.deb 03-Nov-2017 19:11 59K
acl2-infix-source_4.2-1_all.deb 02-Sep-2011 11:03 80K
acl2-infix-source_6.3-5_all.deb 25-Oct-2013 00:36 86K
acl2-infix-source_7.0-1_all.deb 27-Jan-2015 22:50 72K
acl2-infix-source_7.1-1_all.deb 27-Jun-2015 21:48 70K
acl2-infix-source_7.2dfsg-2_all.deb 05-May-2016 14:24 71K
acl2-infix-source_7.4dfsg-3.1_all.deb 10-Aug-2017 15:37 71K
acl2-infix-source_7.4dfsg-4_all.deb 03-Nov-2017 19:11 71K
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_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.0-1_amd64.deb 27-Jan-2015 22:50 140K
acl2-infix_7.0-1_i386.deb 28-Jan-2015 01:06 142K
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.2dfsg-2_amd64.deb 05-May-2016 14:24 392K
acl2-infix_7.2dfsg-2_i386.deb 05-May-2016 15:09 369K
acl2-infix_7.4dfsg-3.1_amd64.deb 10-Aug-2017 15:37 413K
acl2-infix_7.4dfsg-3.1_i386.deb 10-Aug-2017 15:38 381K
acl2-infix_7.4dfsg-4_amd64.deb 03-Nov-2017 19:11 415K
acl2-infix_7.4dfsg-4_i386.deb 04-Nov-2017 01:55 380K
acl2-source_4.2-1_all.deb 02-Sep-2011 11:03 3M
acl2-source_6.3-5_all.deb 25-Oct-2013 00:36 4M
acl2-source_7.0-1_all.deb 27-Jan-2015 22:50 3M
acl2-source_7.1-1_all.deb 27-Jun-2015 21:48 3M
acl2-source_7.2dfsg-2_all.deb 05-May-2016 14:24 3M
acl2-source_7.4dfsg-3.1_all.deb 10-Aug-2017 15:37 3M
acl2-source_7.4dfsg-4_all.deb 03-Nov-2017 19:11 3M
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_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.orig-books.tar.gz 21-Oct-2013 21:09 13M
acl2_6.3.orig.tar.gz 21-Oct-2013 21:09 7M
acl2_7.0-1.debian.tar.xz 27-Jan-2015 19:39 126K
acl2_7.0-1.dsc 27-Jan-2015 19:39 2202
acl2_7.0-1_amd64.deb 27-Jan-2015 22:50 15M
acl2_7.0-1_i386.deb 28-Jan-2015 01:06 13M
acl2_7.0.orig.tar.gz 27-Jan-2015 19:39 56M
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.2dfsg-2.debian.tar.xz 05-May-2016 07:29 199K
acl2_7.2dfsg-2.dsc 05-May-2016 07:29 2231
acl2_7.2dfsg-2_amd64.deb 05-May-2016 14:24 17M
acl2_7.2dfsg-2_i386.deb 05-May-2016 15:09 15M
acl2_7.2dfsg.orig.tar.gz 27-Apr-2016 06:12 61M
acl2_7.4dfsg-3.1.debian.tar.xz 10-Aug-2017 07:14 200K
acl2_7.4dfsg-3.1.dsc 10-Aug-2017 07:14 2367
acl2_7.4dfsg-3.1_amd64.deb 10-Aug-2017 15:37 17M
acl2_7.4dfsg-3.1_i386.deb 10-Aug-2017 15:38 16M
acl2_7.4dfsg-4.debian.tar.xz 01-Nov-2017 21:05 200K
acl2_7.4dfsg-4.dsc 01-Nov-2017 21:05 2231
acl2_7.4dfsg-4_amd64.deb 03-Nov-2017 19:11 18M
acl2_7.4dfsg-4_i386.deb 04-Nov-2017 01:55 16M
acl2_7.4dfsg.orig.tar.gz 10-May-2017 13:08 62M