Index of /deepin/beige/pool/community/a/acl2/

../
acl2-books-certs_8.6+dfsg-2_all.deb                16-Jul-2025 03:05           210185768
acl2-books-source_8.6+dfsg-2_all.deb               16-Jul-2025 03:06            27502616
acl2-books_8.6+dfsg-2_amd64.deb                    16-Jul-2025 03:06           435693808
acl2-books_8.6+dfsg-2_arm64.deb                    16-Jul-2025 03:05           435859104
acl2-books_8.6+dfsg-2_i386.deb                     16-Jul-2025 03:05           375759600
acl2-books_8.6+dfsg-2_loong64.deb                  16-Jul-2025 03:07           550416892
acl2-books_8.6+dfsg-2_riscv64.deb                  16-Jul-2025 03:07           967396704
acl2-doc_8.6+dfsg-2_all.deb                        16-Jul-2025 03:06              524876
acl2-infix-source_8.6+dfsg-2_all.deb               16-Jul-2025 03:05               72652
acl2-infix_8.6+dfsg-2_amd64.deb                    16-Jul-2025 03:05              876908
acl2-infix_8.6+dfsg-2_arm64.deb                    16-Jul-2025 03:06              851396
acl2-infix_8.6+dfsg-2_i386.deb                     16-Jul-2025 03:05              873948
acl2-infix_8.6+dfsg-2_loong64.deb                  16-Jul-2025 03:05             1063604
acl2-infix_8.6+dfsg-2_riscv64.deb                  16-Jul-2025 03:07             1845976
acl2-source_8.6+dfsg-2_all.deb                     16-Jul-2025 03:06             3996788
acl2_8.6+dfsg-2.debian.tar.xz                      18-Jul-2025 09:28              445256
acl2_8.6+dfsg-2.dsc                                18-Jul-2025 09:28                1403
acl2_8.6+dfsg-2_amd64.deb                          16-Jul-2025 03:05            37320432
acl2_8.6+dfsg-2_arm64.deb                          16-Jul-2025 03:06            36772380
acl2_8.6+dfsg-2_i386.deb                           16-Jul-2025 03:06            40489648
acl2_8.6+dfsg-2_loong64.deb                        16-Jul-2025 03:07            37037184
acl2_8.6+dfsg-2_riscv64.deb                        16-Jul-2025 03:06            36260368
acl2_8.6+dfsg.orig.tar.gz                          18-Jul-2025 09:28           240329345
elpa-acl2_8.6+dfsg-2_all.deb                       16-Jul-2025 03:05               78148