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


../
acl2-books-certs_8.6+dfsg-2_all.deb                16-Jul-2025 08:05    200M
acl2-books-source_8.6+dfsg-2_all.deb               16-Jul-2025 08:06     26M
acl2-books_8.6+dfsg-2_amd64.deb                    16-Jul-2025 08:06    416M
acl2-books_8.6+dfsg-2_arm64.deb                    16-Jul-2025 08:05    416M
acl2-books_8.6+dfsg-2_i386.deb                     16-Jul-2025 08:05    358M
acl2-books_8.6+dfsg-2_loong64.deb                  16-Jul-2025 08:07    525M
acl2-books_8.6+dfsg-2_riscv64.deb                  16-Jul-2025 08:07    923M
acl2-doc_8.6+dfsg-2_all.deb                        16-Jul-2025 08:06    513K
acl2-infix-source_8.6+dfsg-2_all.deb               16-Jul-2025 08:05     71K
acl2-infix_8.6+dfsg-2_amd64.deb                    16-Jul-2025 08:05    856K
acl2-infix_8.6+dfsg-2_arm64.deb                    16-Jul-2025 08:06    831K
acl2-infix_8.6+dfsg-2_i386.deb                     16-Jul-2025 08:05    853K
acl2-infix_8.6+dfsg-2_loong64.deb                  16-Jul-2025 08:05      1M
acl2-infix_8.6+dfsg-2_riscv64.deb                  16-Jul-2025 08:07      2M
acl2-source_8.6+dfsg-2_all.deb                     16-Jul-2025 08:06      4M
acl2_8.6+dfsg-2.debian.tar.xz                      18-Jul-2025 14:28    435K
acl2_8.6+dfsg-2.dsc                                18-Jul-2025 14:28    1403
acl2_8.6+dfsg-2_amd64.deb                          16-Jul-2025 08:05     36M
acl2_8.6+dfsg-2_arm64.deb                          16-Jul-2025 08:06     35M
acl2_8.6+dfsg-2_i386.deb                           16-Jul-2025 08:06     39M
acl2_8.6+dfsg-2_loong64.deb                        16-Jul-2025 08:07     35M
acl2_8.6+dfsg-2_riscv64.deb                        16-Jul-2025 08:06     35M
acl2_8.6+dfsg.orig.tar.gz                          18-Jul-2025 14:28    229M
elpa-acl2_8.6+dfsg-2_all.deb                       16-Jul-2025 08:05     76K