Index of /ubuntu-xenial/pool/main/a/acl2/

../
acl2-books-certs_7.1-1_all.deb                     14-May-2025 16:27            13191160
acl2-books-source_7.1-1_all.deb                    14-May-2025 13:32            10333152
acl2-books_7.1-1_amd64.deb                         14-May-2025 15:58            19608788
acl2-doc_7.1-1_all.deb                             14-May-2025 13:46              361780
acl2-emacs_7.1-1_all.deb                           14-May-2025 17:16               56524
acl2-infix-source_7.1-1_all.deb                    14-May-2025 18:38               72020
acl2-infix_7.1-1_amd64.deb                         14-May-2025 10:41              143558
acl2-source_7.1-1_all.deb                          14-May-2025 16:27             2838230
acl2_7.1-1_amd64.deb                               14-May-2025 14:08            17277416