Index of /archive/pool/universe/a/acl2

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[TXT] acl2_6.3-5.dsc          2013-10-21 09:09  1.7K  
[TXT] acl2_7.1-1.dsc          2015-06-01 19:24  2.2K  
[TXT] acl2_8.0dfsg-1.dsc      2018-01-13 18:08  2.2K  
[TXT] acl2_8.5dfsg-6.dsc      2024-07-28 19:59  2.2K  
[TXT] acl2_8.4dfsg-2.dsc      2021-11-01 19:24  2.2K  
[TXT] acl2_8.6+dfsg-3.dsc     2025-05-14 20:35  2.2K  
[TXT] acl2_8.2dfsg-3build1..> 2020-03-23 03:00  2.2K  
[TXT] acl2_8.5dfsg-5build3..> 2024-04-01 01:43  2.3K  
[   ] acl2-emacs_6.3-5_all..> 2013-10-24 12:36   55K  
[   ] acl2-emacs_7.1-1_all..> 2015-06-27 09:48   55K  
[   ] acl2-emacs_8.0dfsg-1..> 2018-01-13 22:08   59K  
[   ] acl2-emacs_8.2dfsg-3..> 2020-03-23 09:24   59K  
[   ] elpa-acl2_8.4dfsg-2_..> 2021-12-18 20:09   69K  
[   ] acl2-infix-source_8...> 2018-01-13 22:08   70K  
[   ] acl2-infix-source_8...> 2020-03-23 09:24   70K  
[   ] acl2-infix-source_7...> 2015-06-27 09:48   70K  
[   ] elpa-acl2_8.5dfsg-5b..> 2024-04-02 04:02   71K  
[   ] elpa-acl2_8.5dfsg-6_..> 2024-07-29 00:20   71K  
[   ] acl2-infix-source_8...> 2021-12-18 20:10   72K  
[   ] acl2-infix-source_8...> 2024-07-29 00:20   72K  
[   ] acl2-infix-source_8...> 2024-04-02 04:02   72K  
[   ] acl2-infix-source_8...> 2025-05-15 03:30   73K  
[   ] elpa-acl2_8.6+dfsg-3..> 2025-05-15 03:30   79K  
[   ] acl2-infix-source_6...> 2013-10-24 12:36   86K  
[   ] acl2_7.1-1.debian.ta..> 2015-06-01 19:24  126K  tar archive
[   ] acl2-infix_7.1-1_amd..> 2015-06-27 09:48  140K  
[   ] acl2-infix_7.1-1_i38..> 2015-06-01 22:43  142K  
[   ] acl2_6.3-5.debian.ta..> 2013-10-21 09:09  158K  GZIP compressed docume>
[   ] acl2-infix_6.3-5_i38..> 2013-10-24 12:36  189K  
[   ] acl2_8.0dfsg-1.debia..> 2018-01-13 18:08  200K  tar archive
[   ] acl2-infix_6.3-5_amd..> 2013-10-24 12:36  200K  
[   ] acl2_8.2dfsg-3build1..> 2020-03-23 03:00  201K  tar archive
[   ] acl2_8.4dfsg-2.debia..> 2021-11-01 19:24  304K  tar archive
[   ] acl2_8.5dfsg-6.debia..> 2024-07-28 19:59  306K  tar archive
[   ] acl2_8.5dfsg-5build3..> 2024-04-01 01:43  306K  tar archive
[   ] acl2-doc_7.1-1_all.deb  2015-06-27 09:48  353K  
[   ] acl2-infix_8.0dfsg-1..> 2018-01-13 23:49  381K  
[   ] acl2-doc_8.0dfsg-1_a..> 2018-01-13 22:08  385K  
[   ] acl2-infix_8.0dfsg-1..> 2018-01-13 22:08  414K  
[   ] acl2-doc_8.2dfsg-3bu..> 2020-03-23 09:24  418K  
[   ] acl2-doc_8.4dfsg-2_a..> 2021-12-18 20:09  441K  
[   ] acl2-infix_8.2dfsg-3..> 2020-03-23 09:24  470K  
[   ] acl2-doc_8.5dfsg-6_a..> 2024-07-29 00:20  474K  
[   ] acl2-doc_8.5dfsg-5bu..> 2024-04-02 04:02  474K  
[   ] acl2-doc_8.6+dfsg-3_..> 2025-05-15 03:30  516K  
[   ] acl2-infix_8.5dfsg-6..> 2024-07-29 00:20  533K  
[   ] acl2-infix_8.5dfsg-5..> 2024-04-02 04:02  538K  
[   ] acl2-infix_8.4dfsg-2..> 2021-12-18 20:09  551K  
[   ] acl2_8.6+dfsg-3.debi..> 2025-05-14 20:36  695K  tar archive
[   ] acl2-infix_8.6+dfsg-..> 2025-05-15 03:30  1.0M  
[   ] acl2-source_7.1-1_al..> 2015-06-27 09:48  2.7M  
[   ] acl2-source_8.0dfsg-..> 2018-01-13 22:08  2.9M  
[   ] acl2-source_8.2dfsg-..> 2020-03-23 09:24  3.1M  
[   ] acl2-source_8.4dfsg-..> 2021-12-18 20:10  3.4M  
[   ] acl2-source_8.5dfsg-..> 2024-07-29 00:20  3.5M  
[   ] acl2-source_8.5dfsg-..> 2024-04-02 04:02  3.5M  
[   ] acl2-source_6.3-5_al..> 2013-10-24 12:36  3.6M  
[   ] acl2-source_8.6+dfsg..> 2025-05-15 03:30  3.9M  
[   ] acl2_6.3.orig.tar.gz    2013-10-21 09:09  6.7M  GZIP compressed docume>
[   ] acl2-books-source_6...> 2013-10-24 12:36  9.1M  
[   ] acl2-books-source_7...> 2015-06-27 09:48  9.9M  
[   ] acl2-books-certs_6.3..> 2013-10-24 12:36   11M  
[   ] acl2-books-source_8...> 2018-01-13 22:08   12M  
[   ] acl2-doc_6.3-5_all.deb  2013-10-24 12:36   12M  
[   ] acl2-books-certs_7.1..> 2015-06-27 09:48   13M  
[   ] acl2_6.3.orig-books...> 2013-10-21 09:09   13M  GZIP compressed docume>
[   ] acl2-books-source_8...> 2020-03-23 09:24   14M  
[   ] acl2_7.1-1_i386.deb     2015-06-01 22:43   16M  
[   ] acl2_8.0dfsg-1_i386.deb 2018-01-13 23:49   16M  
[   ] acl2_7.1-1_amd64.deb    2015-06-27 09:48   16M  
[   ] acl2-books_7.1-1_i38..> 2015-06-01 22:43   18M  
[   ] acl2-books_7.1-1_amd..> 2015-06-27 09:48   19M  
[   ] acl2_8.0dfsg-1_amd64..> 2018-01-13 22:08   19M  
[   ] acl2_8.2dfsg-3build1..> 2020-03-23 09:24   21M  
[   ] acl2-books-source_8...> 2021-12-18 20:10   21M  
[   ] acl2-books-source_8...> 2024-04-02 04:02   23M  
[   ] acl2-books-source_8...> 2024-07-29 00:20   23M  
[   ] acl2_6.3-5_i386.deb     2013-10-24 12:36   23M  
[   ] acl2_8.4dfsg-2_amd64..> 2021-12-18 20:10   25M  
[   ] acl2_8.5dfsg-6_amd64..> 2024-07-29 00:20   25M  
[   ] acl2_8.5dfsg-5build3..> 2024-04-02 04:03   26M  
[   ] acl2-books-source_8...> 2025-05-15 03:30   26M  
[   ] acl2_6.3-5_amd64.deb    2013-10-24 12:36   27M  
[   ] acl2-books_6.3-5_i38..> 2013-10-24 12:36   36M  
[   ] acl2-books_6.3-5_amd..> 2013-10-24 12:36   40M  
[   ] acl2_8.6+dfsg-3_amd6..> 2025-05-15 03:30   45M  
[   ] acl2_7.1.orig.tar.gz    2015-06-01 19:24   60M  GZIP compressed docume>
[   ] acl2-books-certs_8.2..> 2020-03-23 09:24   66M  
[   ] acl2-books-certs_8.0..> 2018-01-13 22:08   70M  
[   ] acl2_8.0dfsg.orig.ta..> 2018-01-13 18:08   74M  GZIP compressed docume>
[   ] acl2_8.2dfsg.orig.ta..> 2019-12-19 18:13   77M  GZIP compressed docume>
[   ] acl2-books-certs_8.5..> 2024-07-29 00:20   79M  
[   ] acl2-books_8.0dfsg-1..> 2018-01-13 23:49  114M  
[   ] acl2-books_8.0dfsg-1..> 2018-01-13 22:08  132M  
[   ] acl2-books_8.2dfsg-3..> 2020-03-23 09:24  163M  
[   ] acl2-books_8.5dfsg-6..> 2024-07-29 00:20  171M  
[   ] acl2_8.4dfsg.orig.ta..> 2021-10-28 19:18  194M  GZIP compressed docume>
[   ] acl2_8.5dfsg.orig.ta..> 2022-07-27 19:33  213M  GZIP compressed docume>
[   ] acl2-books-certs_8.5..> 2024-04-02 04:03  216M  
[   ] acl2-books-certs_8.4..> 2021-12-18 20:10  221M  
[   ] acl2_8.6+dfsg.orig.t..> 2025-05-01 12:25  229M  GZIP compressed docume>
[   ] acl2-books-certs_8.6..> 2025-05-15 03:30  268M  
[   ] acl2-books_8.5dfsg-5..> 2024-04-02 04:03  331M  
[   ] acl2-books_8.4dfsg-2..> 2021-12-18 20:09  338M  
[   ] acl2-books_8.6+dfsg-..> 2025-05-15 03:30  469M