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

../
acl2-books-certs_8.0dfsg-1_all.deb                 13-Jan-2018 20:08     70M
acl2-books-certs_8.2dfsg-3build1_all.deb           18-Nov-2020 00:38     66M
acl2-books-certs_8.4dfsg-2_all.deb                 29-Aug-2022 16:09    221M
acl2-books-certs_8.5dfsg-5build3_all.deb           06-May-2024 18:30    216M
acl2-books-source_8.0dfsg-1_all.deb                13-Jan-2018 20:08     12M
acl2-books-source_8.2dfsg-3build1_all.deb          18-Nov-2020 00:38     14M
acl2-books-source_8.4dfsg-2_all.deb                29-Aug-2022 16:09     21M
acl2-books-source_8.5dfsg-5build3_all.deb          06-May-2024 18:30     23M
acl2-books_8.0dfsg-1_amd64.deb                     13-Jan-2018 20:08    132M
acl2-books_8.0dfsg-1_i386.deb                      18-Nov-2020 00:38    114M
acl2-books_8.2dfsg-3build1_amd64.deb               18-Nov-2020 00:38    163M
acl2-books_8.4dfsg-2_amd64.deb                     29-Aug-2022 16:09    338M
acl2-books_8.5dfsg-5build3_amd64.deb               06-May-2024 18:30    331M
acl2-doc_8.0dfsg-1_all.deb                         13-Jan-2018 20:08    385K
acl2-doc_8.2dfsg-3build1_all.deb                   18-Nov-2020 00:38    418K
acl2-doc_8.4dfsg-2_all.deb                         29-Aug-2022 16:09    441K
acl2-doc_8.5dfsg-5build3_all.deb                   06-May-2024 18:30    474K
acl2-emacs_8.0dfsg-1_all.deb                       13-Jan-2018 20:08     59K
acl2-emacs_8.2dfsg-3build1_all.deb                 18-Nov-2020 00:38     59K
acl2-infix-source_8.0dfsg-1_all.deb                13-Jan-2018 20:08     70K
acl2-infix-source_8.2dfsg-3build1_all.deb          18-Nov-2020 00:38     70K
acl2-infix-source_8.4dfsg-2_all.deb                29-Aug-2022 16:09     72K
acl2-infix-source_8.5dfsg-5build3_all.deb          06-May-2024 18:30     72K
acl2-infix_8.0dfsg-1_amd64.deb                     13-Jan-2018 20:08    414K
acl2-infix_8.0dfsg-1_i386.deb                      18-Nov-2020 00:38    381K
acl2-infix_8.2dfsg-3build1_amd64.deb               18-Nov-2020 00:38    470K
acl2-infix_8.4dfsg-2_amd64.deb                     29-Aug-2022 16:09    551K
acl2-infix_8.5dfsg-5build3_amd64.deb               06-May-2024 18:30    538K
acl2-source_8.0dfsg-1_all.deb                      13-Jan-2018 20:08      3M
acl2-source_8.2dfsg-3build1_all.deb                18-Nov-2020 00:38      3M
acl2-source_8.4dfsg-2_all.deb                      29-Aug-2022 16:09      3M
acl2-source_8.5dfsg-5build3_all.deb                06-May-2024 18:30      3M
acl2_8.0dfsg-1.debian.tar.xz                       06-Nov-2024 18:08    200K
acl2_8.0dfsg-1.dsc                                 06-Nov-2024 18:08    2245
acl2_8.0dfsg-1_amd64.deb                           13-Jan-2018 20:08     19M
acl2_8.0dfsg-1_i386.deb                            18-Nov-2020 00:38     16M
acl2_8.0dfsg.orig.tar.gz                           06-Nov-2024 18:09     74M
acl2_8.2dfsg-3build1.debian.tar.xz                 08-Sep-2021 01:11    201K
acl2_8.2dfsg-3build1.dsc                           08-Sep-2021 01:11    2296
acl2_8.2dfsg-3build1_amd64.deb                     18-Nov-2020 00:38     21M
acl2_8.2dfsg.orig.tar.gz                           08-Sep-2021 01:11     77M
acl2_8.4dfsg-2.debian.tar.xz                       29-Aug-2022 16:09    304K
acl2_8.4dfsg-2.dsc                                 29-Aug-2022 16:09    2281
acl2_8.4dfsg-2_amd64.deb                           29-Aug-2022 16:09     25M
acl2_8.4dfsg.orig.tar.gz                           29-Aug-2022 16:09    194M
acl2_8.5dfsg-5build3.debian.tar.xz                 06-May-2024 18:30    306K
acl2_8.5dfsg-5build3.dsc                           06-May-2024 18:30    2371
acl2_8.5dfsg-5build3_amd64.deb                     06-May-2024 18:30     26M
acl2_8.5dfsg.orig.tar.gz                           06-Nov-2024 18:09    213M
elpa-acl2_8.4dfsg-2_all.deb                        29-Aug-2022 16:09     69K
elpa-acl2_8.5dfsg-5build3_all.deb                  06-May-2024 18:31     71K