Index of /kylin/desktop/releases/10/mips64el/pool/universe/a/acl2/

../
acl2-books-certs_8.2dfsg-3build1_all.deb           19-Oct-2023 02:27     66M
acl2-books-source_8.2dfsg-3build1_all.deb          19-Oct-2023 02:27     14M
acl2-books_8.2dfsg-3build1_mips64el.deb            19-Oct-2023 02:28    174M
acl2-doc_8.2dfsg-3build1_all.deb                   19-Oct-2023 02:28    426K
acl2-emacs_8.2dfsg-3build1_all.deb                 19-Oct-2023 02:28     67K
acl2-infix-source_8.2dfsg-3build1_all.deb          19-Oct-2023 02:28     78K
acl2-infix_8.2dfsg-3build1_mips64el.deb            19-Oct-2023 02:28    497K
acl2-source_8.2dfsg-3build1_all.deb                19-Oct-2023 02:28      3M
acl2_8.2dfsg-3build1_mips64el.deb                  19-Oct-2023 02:28     20M