Index of /Debian/pool/main/a/acl2

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[ ]acl2-books-certs_6.5-2_all.deb08-Sep-2014 15:35 6.2M
[ ]acl2-books-certs_7.2dfsg-3_all.deb17-Oct-2016 15:35 52M
[ ]acl2-books-certs_8.0dfsg-1_all.deb13-Jan-2018 13:52 70M
[ ]acl2-books-certs_8.1dfsg-3_all.deb04-Apr-2019 14:29 77M
[ ]acl2-books-source_6.5-2_all.deb08-Sep-2014 15:35 6.6M
[ ]acl2-books-source_7.2dfsg-3_all.deb17-Oct-2016 15:35 10M
[ ]acl2-books-source_8.0dfsg-1_all.deb13-Jan-2018 13:52 12M
[ ]acl2-books-source_8.1dfsg-3_all.deb04-Apr-2019 14:29 13M
[ ]acl2-books_6.5-2_amd64.deb08-Sep-2014 15:35 22M
[ ]acl2-books_6.5-2_i386.deb08-Sep-2014 22:44 21M
[ ]acl2-books_7.2dfsg-3_amd64.deb17-Oct-2016 15:35 103M
[ ]acl2-books_7.2dfsg-3_i386.deb18-Oct-2016 00:35 86M
[ ]acl2-books_8.0dfsg-1_amd64.deb13-Jan-2018 13:52 132M
[ ]acl2-books_8.0dfsg-1_i386.deb13-Jan-2018 21:26 111M
[ ]acl2-books_8.1dfsg-3+b1_amd64.deb22-Jul-2019 04:55 156M
[ ]acl2-books_8.1dfsg-3+b1_i386.deb22-Jul-2019 05:56 133M
[ ]acl2-doc_6.5-2_all.deb08-Sep-2014 15:35 1.6M
[ ]acl2-doc_7.2dfsg-3_all.deb17-Oct-2016 15:35 372K
[ ]acl2-doc_8.0dfsg-1_all.deb13-Jan-2018 13:52 392K
[ ]acl2-doc_8.1dfsg-3_all.deb04-Apr-2019 14:29 404K
[ ]acl2-emacs_6.5-2_all.deb08-Sep-2014 15:35 59K
[ ]acl2-emacs_7.2dfsg-3_all.deb17-Oct-2016 15:35 63K
[ ]acl2-emacs_8.0dfsg-1_all.deb13-Jan-2018 13:52 66K
[ ]acl2-emacs_8.1dfsg-3_all.deb04-Apr-2019 14:29 66K
[ ]acl2-infix-source_6.5-2_all.deb08-Sep-2014 15:35 78K
[ ]acl2-infix-source_7.2dfsg-3_all.deb17-Oct-2016 15:35 77K
[ ]acl2-infix-source_8.0dfsg-1_all.deb13-Jan-2018 13:52 77K
[ ]acl2-infix-source_8.1dfsg-3_all.deb04-Apr-2019 14:29 78K
[ ]acl2-infix_6.5-2_amd64.deb08-Sep-2014 15:35 147K
[ ]acl2-infix_6.5-2_i386.deb08-Sep-2014 22:44 148K
[ ]acl2-infix_7.2dfsg-3_amd64.deb17-Oct-2016 15:35 410K
[ ]acl2-infix_7.2dfsg-3_i386.deb18-Oct-2016 00:35 381K
[ ]acl2-infix_8.0dfsg-1_amd64.deb13-Jan-2018 13:52 422K
[ ]acl2-infix_8.0dfsg-1_i386.deb13-Jan-2018 21:26 390K
[ ]acl2-infix_8.1dfsg-3+b1_amd64.deb22-Jul-2019 04:55 481K
[ ]acl2-infix_8.1dfsg-3+b1_i386.deb22-Jul-2019 05:56 483K
[ ]acl2-source_6.5-2_all.deb08-Sep-2014 15:35 2.6M
[ ]acl2-source_7.2dfsg-3_all.deb17-Oct-2016 15:35 2.8M
[ ]acl2-source_8.0dfsg-1_all.deb13-Jan-2018 13:52 2.9M
[ ]acl2-source_8.1dfsg-3_all.deb04-Apr-2019 14:29 3.0M
[ ]acl2_6.5-2.debian.tar.xz08-Sep-2014 15:35 125K
[ ]acl2_6.5-2.dsc08-Sep-2014 15:35 1.8K
[ ]acl2_6.5-2_amd64.deb08-Sep-2014 15:35 16M
[ ]acl2_6.5-2_i386.deb08-Sep-2014 22:44 13M
[ ]acl2_6.5.orig-books.tar.gz17-Aug-2014 16:21 14M
[ ]acl2_6.5.orig.tar.gz17-Aug-2014 16:21 5.9M
[ ]acl2_7.2dfsg-3.debian.tar.xz17-Oct-2016 15:35 199K
[ ]acl2_7.2dfsg-3.dsc17-Oct-2016 15:35 2.2K
[ ]acl2_7.2dfsg-3_amd64.deb17-Oct-2016 15:35 17M
[ ]acl2_7.2dfsg-3_i386.deb18-Oct-2016 00:35 15M
[ ]acl2_7.2dfsg.orig.tar.gz14-Apr-2016 14:54 61M
[ ]acl2_8.0dfsg-1.debian.tar.xz13-Jan-2018 13:52 200K
[ ]acl2_8.0dfsg-1.dsc13-Jan-2018 13:52 2.2K
[ ]acl2_8.0dfsg-1_amd64.deb13-Jan-2018 13:52 19M
[ ]acl2_8.0dfsg-1_i386.deb13-Jan-2018 21:26 16M
[ ]acl2_8.0dfsg.orig.tar.gz13-Jan-2018 13:52 74M
[ ]acl2_8.1dfsg-3+b1_amd64.deb22-Jul-2019 04:55 19M
[ ]acl2_8.1dfsg-3+b1_i386.deb22-Jul-2019 05:56 18M
[ ]acl2_8.1dfsg-3.debian.tar.xz04-Apr-2019 14:29 200K
[ ]acl2_8.1dfsg-3.dsc04-Apr-2019 14:29 2.2K
[ ]acl2_8.1dfsg.orig.tar.gz03-Mar-2019 12:30 75M