Index of /debian/pool/main/a/acl2

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] acl2-books-certs_6.5-2_all.deb      2014-09-08 10:35  6.2M  
[   ] acl2-books-certs_7.2dfsg-3_all.deb  2016-10-17 10:35   52M  
[   ] acl2-books-certs_8.0dfsg-1_all.deb  2018-01-13 08:52   70M  
[   ] acl2-books-certs_8.3dfsg-2_all.deb  2021-01-27 21:25  139M  
[   ] acl2-books-certs_8.5dfsg-1_all.deb  2022-07-27 21:44  174M  
[   ] acl2-books-source_6.5-2_all.deb     2014-09-08 10:35  6.6M  
[   ] acl2-books-source_7.2dfsg-3_all.deb 2016-10-17 10:35   10M  
[   ] acl2-books-source_8.0dfsg-1_all.deb 2018-01-13 08:52   12M  
[   ] acl2-books-source_8.3dfsg-2_all.deb 2021-01-27 21:25   19M  
[   ] acl2-books-source_8.5dfsg-1_all.deb 2022-07-27 21:44   24M  
[   ] acl2-books_6.5-2_amd64.deb          2014-09-08 10:35   22M  
[   ] acl2-books_6.5-2_i386.deb           2014-09-08 17:44   21M  
[   ] acl2-books_7.2dfsg-3_amd64.deb      2016-10-17 10:35  103M  
[   ] acl2-books_7.2dfsg-3_arm64.deb      2016-10-18 01:59  104M  
[   ] acl2-books_7.2dfsg-3_i386.deb       2016-10-17 19:35   86M  
[   ] acl2-books_8.0dfsg-1_amd64.deb      2018-01-13 08:52  132M  
[   ] acl2-books_8.0dfsg-1_arm64.deb      2018-01-13 21:47  135M  
[   ] acl2-books_8.0dfsg-1_i386.deb       2018-01-13 16:26  111M  
[   ] acl2-books_8.3dfsg-2_amd64.deb      2021-01-27 16:57  241M  
[   ] acl2-books_8.3dfsg-2_arm64.deb      2021-01-28 10:43  236M  
[   ] acl2-books_8.3dfsg-2_i386.deb       2021-01-27 17:22  204M  
[   ] acl2-books_8.5dfsg-1_amd64.deb      2022-07-27 21:59  293M  
[   ] acl2-books_8.5dfsg-1_arm64.deb      2022-07-28 16:28  289M  
[   ] acl2-books_8.5dfsg-1_i386.deb       2022-07-28 00:56  253M  
[   ] acl2-doc_6.5-2_all.deb              2014-09-08 10:35  1.6M  
[   ] acl2-doc_7.2dfsg-3_all.deb          2016-10-17 10:35  372K  
[   ] acl2-doc_8.0dfsg-1_all.deb          2018-01-13 08:52  392K  
[   ] acl2-doc_8.3dfsg-2_all.deb          2021-01-27 21:25  437K  
[   ] acl2-doc_8.5dfsg-1_all.deb          2022-07-27 21:44  478K  
[   ] acl2-emacs_6.5-2_all.deb            2014-09-08 10:35   59K  
[   ] acl2-emacs_7.2dfsg-3_all.deb        2016-10-17 10:35   63K  
[   ] acl2-emacs_8.0dfsg-1_all.deb        2018-01-13 08:52   66K  
[   ] acl2-emacs_8.3dfsg-2_all.deb        2021-01-27 21:25   68K  
[   ] acl2-infix-source_6.5-2_all.deb     2014-09-08 10:35   78K  
[   ] acl2-infix-source_7.2dfsg-3_all.deb 2016-10-17 10:35   77K  
[   ] acl2-infix-source_8.0dfsg-1_all.deb 2018-01-13 08:52   77K  
[   ] acl2-infix-source_8.3dfsg-2_all.deb 2021-01-27 21:25   78K  
[   ] acl2-infix-source_8.5dfsg-1_all.deb 2022-07-27 21:44   78K  
[   ] acl2-infix_6.5-2_amd64.deb          2014-09-08 10:35  147K  
[   ] acl2-infix_6.5-2_i386.deb           2014-09-08 17:44  148K  
[   ] acl2-infix_7.2dfsg-3_amd64.deb      2016-10-17 10:35  410K  
[   ] acl2-infix_7.2dfsg-3_arm64.deb      2016-10-18 01:59  420K  
[   ] acl2-infix_7.2dfsg-3_i386.deb       2016-10-17 19:35  381K  
[   ] acl2-infix_8.0dfsg-1_amd64.deb      2018-01-13 08:52  422K  
[   ] acl2-infix_8.0dfsg-1_arm64.deb      2018-01-13 21:47  432K  
[   ] acl2-infix_8.0dfsg-1_i386.deb       2018-01-13 16:26  390K  
[   ] acl2-infix_8.3dfsg-2_amd64.deb      2021-01-27 16:57  479K  
[   ] acl2-infix_8.3dfsg-2_arm64.deb      2021-01-28 10:43  469K  
[   ] acl2-infix_8.3dfsg-2_i386.deb       2021-01-27 17:22  485K  
[   ] acl2-infix_8.5dfsg-1_amd64.deb      2022-07-27 21:59  472K  
[   ] acl2-infix_8.5dfsg-1_arm64.deb      2022-07-28 16:28  469K  
[   ] acl2-infix_8.5dfsg-1_i386.deb       2022-07-28 00:56  486K  
[   ] acl2-source_6.5-2_all.deb           2014-09-08 10:35  2.6M  
[   ] acl2-source_7.2dfsg-3_all.deb       2016-10-17 10:35  2.8M  
[   ] acl2-source_8.0dfsg-1_all.deb       2018-01-13 08:52  2.9M  
[   ] acl2-source_8.3dfsg-2_all.deb       2021-01-27 21:25  3.2M  
[   ] acl2-source_8.5dfsg-1_all.deb       2022-07-27 21:44  3.4M  
[   ] acl2_6.5-2.debian.tar.xz            2014-09-08 10:35  125K  
[TXT] acl2_6.5-2.dsc                      2014-09-08 10:35  1.8K  
[   ] acl2_6.5-2_amd64.deb                2014-09-08 10:35   16M  
[   ] acl2_6.5-2_i386.deb                 2014-09-08 17:44   13M  
[   ] acl2_6.5.orig-books.tar.gz          2014-08-17 11:21   14M  
[   ] acl2_6.5.orig.tar.gz                2014-08-17 11:21  5.9M  
[   ] acl2_7.2dfsg-3.debian.tar.xz        2016-10-17 10:35  199K  
[TXT] acl2_7.2dfsg-3.dsc                  2016-10-17 10:35  2.2K  
[   ] acl2_7.2dfsg-3_amd64.deb            2016-10-17 10:35   17M  
[   ] acl2_7.2dfsg-3_arm64.deb            2016-10-18 01:59   15M  
[   ] acl2_7.2dfsg-3_i386.deb             2016-10-17 19:35   15M  
[   ] acl2_7.2dfsg.orig.tar.gz            2016-04-14 09:54   61M  
[   ] acl2_8.0dfsg-1.debian.tar.xz        2018-01-13 08:52  200K  
[TXT] acl2_8.0dfsg-1.dsc                  2018-01-13 08:52  2.2K  
[   ] acl2_8.0dfsg-1_amd64.deb            2018-01-13 08:52   19M  
[   ] acl2_8.0dfsg-1_arm64.deb            2018-01-13 21:47   17M  
[   ] acl2_8.0dfsg-1_i386.deb             2018-01-13 16:26   16M  
[   ] acl2_8.0dfsg.orig.tar.gz            2018-01-13 08:52   74M  
[   ] acl2_8.3dfsg-2.debian.tar.xz        2021-01-27 09:34  223K  
[TXT] acl2_8.3dfsg-2.dsc                  2021-01-27 09:34  2.2K  
[   ] acl2_8.3dfsg-2_amd64.deb            2021-01-27 16:57   20M  
[   ] acl2_8.3dfsg-2_arm64.deb            2021-01-28 10:43   19M  
[   ] acl2_8.3dfsg-2_i386.deb             2021-01-27 17:22   19M  
[   ] acl2_8.3dfsg.orig.tar.gz            2020-08-23 22:39  112M  
[   ] acl2_8.5dfsg-1.debian.tar.xz        2022-07-27 10:13  305K  
[TXT] acl2_8.5dfsg-1.dsc                  2022-07-27 10:13  2.2K  
[   ] acl2_8.5dfsg-1_amd64.deb            2022-07-27 21:59   22M  
[   ] acl2_8.5dfsg-1_arm64.deb            2022-07-28 16:28   20M  
[   ] acl2_8.5dfsg-1_i386.deb             2022-07-28 00:56   19M  
[   ] acl2_8.5dfsg.orig.tar.gz            2022-07-27 10:13  213M  
[   ] elpa-acl2_8.5dfsg-1_all.deb         2022-07-27 21:44   77K