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