Index of /ubuntu/pool/universe/a/acl2
Name Last modified Size Description
Parent Directory -
acl2-books_8.1dfsg-3_i386.deb 21-Apr-2019 19:31 139M
acl2_8.1dfsg-3_i386.deb 21-Apr-2019 19:31 18M
acl2-infix_8.1dfsg-3_i386.deb 21-Apr-2019 19:31 475K
acl2-infix-source_8.1dfsg-3_all.deb 21-Apr-2019 15:43 70K
acl2-emacs_8.1dfsg-3_all.deb 21-Apr-2019 15:43 59K
acl2-doc_8.1dfsg-3_all.deb 21-Apr-2019 15:43 396K
acl2_8.1dfsg-3_amd64.deb 21-Apr-2019 15:43 19M
acl2-books_8.1dfsg-3_amd64.deb 21-Apr-2019 15:43 156M
acl2-books-source_8.1dfsg-3_all.deb 21-Apr-2019 15:43 13M
acl2-books-certs_8.1dfsg-3_all.deb 21-Apr-2019 15:43 77M
acl2-infix_8.1dfsg-3_amd64.deb 21-Apr-2019 15:43 472K
acl2-source_8.1dfsg-3_all.deb 21-Apr-2019 15:43 3.0M
acl2_8.1dfsg.orig.tar.gz 21-Apr-2019 07:46 75M
acl2_8.1dfsg-3.debian.tar.xz 21-Apr-2019 07:46 200K
acl2_8.1dfsg-3.dsc 21-Apr-2019 07:46 2.2K
acl2-books-certs_8.0dfsg-1build1_all.deb 15-Jan-2019 13:13 70M
acl2_8.0dfsg-1build1_amd64.deb 15-Jan-2019 13:13 19M
acl2-source_8.0dfsg-1build1_all.deb 15-Jan-2019 13:13 2.9M
acl2-infix_8.0dfsg-1build1_amd64.deb 15-Jan-2019 13:13 471K
acl2-infix-source_8.0dfsg-1build1_all.deb 15-Jan-2019 13:13 70K
acl2-emacs_8.0dfsg-1build1_all.deb 15-Jan-2019 13:13 59K
acl2-doc_8.0dfsg-1build1_all.deb 15-Jan-2019 13:13 385K
acl2-books-source_8.0dfsg-1build1_all.deb 15-Jan-2019 13:13 12M
acl2-books_8.0dfsg-1build1_amd64.deb 15-Jan-2019 13:13 145M
acl2_8.0dfsg-1build1_i386.deb 15-Jan-2019 11:47 17M
acl2-infix_8.0dfsg-1build1_i386.deb 15-Jan-2019 11:47 434K
acl2-books_8.0dfsg-1build1_i386.deb 15-Jan-2019 11:47 127M
acl2_8.0dfsg-1build1.dsc 15-Jan-2019 06:08 2.2K
acl2_8.0dfsg-1build1.debian.tar.xz 15-Jan-2019 06:08 200K
acl2_8.0dfsg-1_i386.deb 13-Jan-2018 23:49 16M
acl2-infix_8.0dfsg-1_i386.deb 13-Jan-2018 23:49 381K
acl2-books_8.0dfsg-1_i386.deb 13-Jan-2018 23:49 114M
acl2-emacs_8.0dfsg-1_all.deb 13-Jan-2018 22:08 59K
acl2-books-certs_8.0dfsg-1_all.deb 13-Jan-2018 22:08 70M
acl2-books-source_8.0dfsg-1_all.deb 13-Jan-2018 22:08 12M
acl2_8.0dfsg-1_amd64.deb 13-Jan-2018 22:08 19M
acl2-books_8.0dfsg-1_amd64.deb 13-Jan-2018 22:08 132M
acl2-source_8.0dfsg-1_all.deb 13-Jan-2018 22:08 2.9M
acl2-infix_8.0dfsg-1_amd64.deb 13-Jan-2018 22:08 414K
acl2-doc_8.0dfsg-1_all.deb 13-Jan-2018 22:08 385K
acl2-infix-source_8.0dfsg-1_all.deb 13-Jan-2018 22:08 70K
acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 18:08 74M
acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 18:08 200K
acl2_8.0dfsg-1.dsc 13-Jan-2018 18:08 2.2K
acl2-source_7.1-1_all.deb 27-Jun-2015 09:48 2.7M
acl2_7.1-1_amd64.deb 27-Jun-2015 09:48 16M
acl2-infix-source_7.1-1_all.deb 27-Jun-2015 09:48 70K
acl2-books-source_7.1-1_all.deb 27-Jun-2015 09:48 9.9M
acl2-emacs_7.1-1_all.deb 27-Jun-2015 09:48 55K
acl2-infix_7.1-1_amd64.deb 27-Jun-2015 09:48 140K
acl2-doc_7.1-1_all.deb 27-Jun-2015 09:48 353K
acl2-books_7.1-1_amd64.deb 27-Jun-2015 09:48 19M
acl2-books-certs_7.1-1_all.deb 27-Jun-2015 09:48 13M
acl2_7.1-1_i386.deb 01-Jun-2015 22:43 16M
acl2-infix_7.1-1_i386.deb 01-Jun-2015 22:43 142K
acl2-books_7.1-1_i386.deb 01-Jun-2015 22:43 18M
acl2_7.1.orig.tar.gz 01-Jun-2015 19:24 60M
acl2_7.1-1.dsc 01-Jun-2015 19:24 2.2K
acl2_7.1-1.debian.tar.xz 01-Jun-2015 19:24 126K
acl2-books_6.3-5_i386.deb 24-Oct-2013 12:36 36M
acl2_6.3-5_i386.deb 24-Oct-2013 12:36 23M
acl2-infix_6.3-5_i386.deb 24-Oct-2013 12:36 189K
acl2_6.3-5_amd64.deb 24-Oct-2013 12:36 27M
acl2-infix_6.3-5_amd64.deb 24-Oct-2013 12:36 200K
acl2-doc_6.3-5_all.deb 24-Oct-2013 12:36 12M
acl2-books_6.3-5_amd64.deb 24-Oct-2013 12:36 40M
acl2-infix-source_6.3-5_all.deb 24-Oct-2013 12:36 86K
acl2-emacs_6.3-5_all.deb 24-Oct-2013 12:36 55K
acl2-books-source_6.3-5_all.deb 24-Oct-2013 12:36 9.1M
acl2-books-certs_6.3-5_all.deb 24-Oct-2013 12:36 11M
acl2-source_6.3-5_all.deb 24-Oct-2013 12:36 3.6M
acl2_6.3.orig.tar.gz 21-Oct-2013 09:09 6.7M
acl2_6.3.orig-books.tar.gz 21-Oct-2013 09:09 13M
acl2_6.3-5.dsc 21-Oct-2013 09:09 1.7K
acl2_6.3-5.debian.tar.gz 21-Oct-2013 09:09 158K
acl2_4.2-1_amd64.deb 02-Sep-2011 00:04 25M
acl2-books_4.2-1_amd64.deb 02-Sep-2011 00:04 39M
acl2-infix_4.2-1_amd64.deb 02-Sep-2011 00:04 438K
acl2_4.2-1_i386.deb 01-Sep-2011 23:04 22M
acl2-books_4.2-1_i386.deb 01-Sep-2011 23:04 34M
acl2-infix_4.2-1_i386.deb 01-Sep-2011 23:04 400K
acl2-books-certs_4.2-1_all.deb 01-Sep-2011 23:03 1.9M
acl2-source_4.2-1_all.deb 01-Sep-2011 23:03 3.0M
acl2-infix-source_4.2-1_all.deb 01-Sep-2011 23:03 80K
acl2-emacs_4.2-1_all.deb 01-Sep-2011 23:03 52K
acl2-doc_4.2-1_all.deb 01-Sep-2011 23:03 264K
acl2-books-source_4.2-1_all.deb 01-Sep-2011 23:03 4.9M
acl2_4.2.orig.tar.gz 15-May-2011 09:04 11M
acl2_4.2-1.dsc 15-May-2011 09:04 1.2K
acl2_4.2-1.debian.tar.gz 15-May-2011 09:04 17K
Apache Server at 209.208.0.134 Port 80