Folder Path

/deepin/beige/pool/community/a/acl2/

0 directories 24 files 3.2 GiB total
List Grid
Name
Size Modified
Up
acl2-books-certs_8.6+dfsg-2_all.deb
200 MiB
acl2-books-source_8.6+dfsg-2_all.deb
26 MiB
acl2-books_8.6+dfsg-2_amd64.deb
416 MiB
acl2-books_8.6+dfsg-2_arm64.deb
416 MiB
acl2-books_8.6+dfsg-2_i386.deb
358 MiB
acl2-books_8.6+dfsg-2_loong64.deb
525 MiB
acl2-books_8.6+dfsg-2_riscv64.deb
923 MiB
acl2-doc_8.6+dfsg-2_all.deb
513 KiB
acl2-infix-source_8.6+dfsg-2_all.deb
71 KiB
acl2-infix_8.6+dfsg-2_amd64.deb
856 KiB
acl2-infix_8.6+dfsg-2_arm64.deb
831 KiB
acl2-infix_8.6+dfsg-2_i386.deb
854 KiB
acl2-infix_8.6+dfsg-2_loong64.deb
1.0 MiB
acl2-infix_8.6+dfsg-2_riscv64.deb
1.8 MiB
acl2-source_8.6+dfsg-2_all.deb
3.8 MiB
acl2_8.6+dfsg-2.debian.tar.xz
435 KiB
acl2_8.6+dfsg-2.dsc
1.4 KiB
acl2_8.6+dfsg-2_amd64.deb
36 MiB
acl2_8.6+dfsg-2_arm64.deb
35 MiB
acl2_8.6+dfsg-2_i386.deb
39 MiB
acl2_8.6+dfsg-2_loong64.deb
35 MiB
acl2_8.6+dfsg-2_riscv64.deb
35 MiB
acl2_8.6+dfsg.orig.tar.gz
229 MiB
elpa-acl2_8.6+dfsg-2_all.deb
76 KiB