Index of /ubuntu/pool/universe/a/acl2

Icon  Name                                      Last modified      Size  
[PARENTDIR] Parent Directory                                               -   
[   ] acl2-books-certs_8.0dfsg-1_all.deb        2018-01-14 04:08   70M  
[   ] acl2-books-certs_8.2dfsg-3build1_all.deb  2020-03-23 14:24   66M  
[   ] acl2-books-certs_8.4dfsg-2_all.deb        2021-12-19 02:10  221M  
[   ] acl2-books-certs_8.5dfsg-5build3_all.deb  2024-04-02 10:03  216M  
[   ] acl2-books-certs_8.5dfsg-6_all.deb        2024-07-29 06:20   79M  
[   ] acl2-books-source_8.0dfsg-1_all.deb       2018-01-14 04:08   12M  
[   ] acl2-books-source_8.2dfsg-3build1_all.deb 2020-03-23 14:24   14M  
[   ] acl2-books-source_8.4dfsg-2_all.deb       2021-12-19 02:10   21M  
[   ] acl2-books-source_8.5dfsg-5build3_all.deb 2024-04-02 10:02   23M  
[   ] acl2-books-source_8.5dfsg-6_all.deb       2024-07-29 06:20   23M  
[   ] acl2-books_8.0dfsg-1_amd64.deb            2018-01-14 04:08  132M  
[   ] acl2-books_8.2dfsg-3build1_amd64.deb      2020-03-23 14:24  163M  
[   ] acl2-books_8.4dfsg-2_amd64.deb            2021-12-19 02:09  338M  
[   ] acl2-books_8.5dfsg-5build3_amd64.deb      2024-04-02 10:03  331M  
[   ] acl2-books_8.5dfsg-6_amd64.deb            2024-07-29 06:20  171M  
[   ] acl2-doc_8.0dfsg-1_all.deb                2018-01-14 04:08  385K  
[   ] acl2-doc_8.2dfsg-3build1_all.deb          2020-03-23 14:24  418K  
[   ] acl2-doc_8.4dfsg-2_all.deb                2021-12-19 02:09  441K  
[   ] acl2-doc_8.5dfsg-5build3_all.deb          2024-04-02 10:02  474K  
[   ] acl2-doc_8.5dfsg-6_all.deb                2024-07-29 06:20  474K  
[   ] acl2-emacs_8.0dfsg-1_all.deb              2018-01-14 04:08   59K  
[   ] acl2-emacs_8.2dfsg-3build1_all.deb        2020-03-23 14:24   59K  
[   ] acl2-infix-source_8.0dfsg-1_all.deb       2018-01-14 04:08   70K  
[   ] acl2-infix-source_8.2dfsg-3build1_all.deb 2020-03-23 14:24   70K  
[   ] acl2-infix-source_8.4dfsg-2_all.deb       2021-12-19 02:10   72K  
[   ] acl2-infix-source_8.5dfsg-5build3_all.deb 2024-04-02 10:02   72K  
[   ] acl2-infix-source_8.5dfsg-6_all.deb       2024-07-29 06:20   72K  
[   ] acl2-infix_8.0dfsg-1_amd64.deb            2018-01-14 04:08  414K  
[   ] acl2-infix_8.2dfsg-3build1_amd64.deb      2020-03-23 14:24  470K  
[   ] acl2-infix_8.4dfsg-2_amd64.deb            2021-12-19 02:09  551K  
[   ] acl2-infix_8.5dfsg-5build3_amd64.deb      2024-04-02 10:02  538K  
[   ] acl2-infix_8.5dfsg-6_amd64.deb            2024-07-29 06:20  533K  
[   ] acl2-source_8.0dfsg-1_all.deb             2018-01-14 04:08  2.9M  
[   ] acl2-source_8.2dfsg-3build1_all.deb       2020-03-23 14:24  3.1M  
[   ] acl2-source_8.4dfsg-2_all.deb             2021-12-19 02:10  3.4M  
[   ] acl2-source_8.5dfsg-5build3_all.deb       2024-04-02 10:02  3.5M  
[   ] acl2-source_8.5dfsg-6_all.deb             2024-07-29 06:20  3.5M  
[   ] acl2_8.0dfsg-1.debian.tar.xz              2018-01-14 00:08  200K  
[TXT] acl2_8.0dfsg-1.dsc                        2018-01-14 00:08  2.2K  
[   ] acl2_8.0dfsg-1_amd64.deb                  2018-01-14 04:08   19M  
[   ] acl2_8.0dfsg.orig.tar.gz                  2018-01-14 00:08   74M  
[   ] acl2_8.2dfsg-3build1.debian.tar.xz        2020-03-23 08:00  201K  
[TXT] acl2_8.2dfsg-3build1.dsc                  2020-03-23 08:00  2.2K  
[   ] acl2_8.2dfsg-3build1_amd64.deb            2020-03-23 14:24   21M  
[   ] acl2_8.2dfsg.orig.tar.gz                  2019-12-20 00:13   77M  
[   ] acl2_8.4dfsg-2.debian.tar.xz              2021-11-02 00:24  304K  
[TXT] acl2_8.4dfsg-2.dsc                        2021-11-02 00:24  2.2K  
[   ] acl2_8.4dfsg-2_amd64.deb                  2021-12-19 02:10   25M  
[   ] acl2_8.4dfsg.orig.tar.gz                  2021-10-29 01:18  194M  
[   ] acl2_8.5dfsg-5build3.debian.tar.xz        2024-04-01 07:43  306K  
[TXT] acl2_8.5dfsg-5build3.dsc                  2024-04-01 07:43  2.3K  
[   ] acl2_8.5dfsg-5build3_amd64.deb            2024-04-02 10:03   26M  
[   ] acl2_8.5dfsg-6.debian.tar.xz              2024-07-29 01:59  306K  
[TXT] acl2_8.5dfsg-6.dsc                        2024-07-29 01:59  2.2K  
[   ] acl2_8.5dfsg-6_amd64.deb                  2024-07-29 06:20   25M  
[   ] acl2_8.5dfsg.orig.tar.gz                  2022-07-28 01:33  213M  
[   ] elpa-acl2_8.4dfsg-2_all.deb               2021-12-19 02:09   69K  
[   ] elpa-acl2_8.5dfsg-5build3_all.deb         2024-04-02 10:02   71K  
[   ] elpa-acl2_8.5dfsg-6_all.deb               2024-07-29 06:20   71K

This mirror is brought to you by HR-Tech and Heiko Richter.