Studenten Net Twente Mirror service

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

Filename Modification time Size
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 853 KiB
acl2-infix_8.6+dfsg-2_loong64.deb 1039 KiB
acl2-infix_8.6+dfsg-2_riscv64.deb 1803 KiB
acl2-source_8.6+dfsg-2_all.deb 3903 KiB
acl2_8.6+dfsg-2.debian.tar.xz 435 KiB
acl2_8.6+dfsg-2.dsc 1403 B
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