/kali/pool/main/a/acl2/

0 directories 42 files
Name Size Modified
Go up — —
acl2-books-certs_8.6+dfsg-3_all.deb 212 MiB
acl2-books-certs_8.7+dfsg-3_all.deb 232 MiB
acl2-books-source_8.6+dfsg-3_all.deb 26 MiB
acl2-books-source_8.7+dfsg-3_all.deb 28 MiB
acl2-books_8.6+dfsg-3+b1_arm64.deb 410 MiB
acl2-books_8.6+dfsg-3_amd64.deb 416 MiB
acl2-books_8.6+dfsg-3_armhf.deb 395 MiB
acl2-books_8.6+dfsg-3_i386.deb 344 MiB
acl2-books_8.7+dfsg-3_amd64.deb 457 MiB
acl2-books_8.7+dfsg-3_arm64.deb 448 MiB
acl2-books_8.7+dfsg-3_armhf.deb 435 MiB
acl2-books_8.7+dfsg-3_i386.deb 398 MiB
acl2-doc_8.6+dfsg-3_all.deb 513 KiB
acl2-doc_8.7+dfsg-3_all.deb 533 KiB
acl2-infix-source_8.6+dfsg-3_all.deb 71 KiB
acl2-infix-source_8.7+dfsg-3_all.deb 70 KiB
acl2-infix_8.6+dfsg-3+b1_arm64.deb 826 KiB
acl2-infix_8.6+dfsg-3_amd64.deb 865 KiB
acl2-infix_8.6+dfsg-3_armhf.deb 846 KiB
acl2-infix_8.6+dfsg-3_i386.deb 852 KiB
acl2-infix_8.7+dfsg-3_amd64.deb 876 KiB
acl2-infix_8.7+dfsg-3_arm64.deb 844 KiB
acl2-infix_8.7+dfsg-3_armhf.deb 870 KiB
acl2-infix_8.7+dfsg-3_i386.deb 864 KiB
acl2-source_8.6+dfsg-3_all.deb 3.8 MiB
acl2-source_8.7+dfsg-3_all.deb 3.9 MiB
acl2_8.6+dfsg-3+b1_arm64.deb 35 MiB
acl2_8.6+dfsg-3.debian.tar.xz 694 KiB
acl2_8.6+dfsg-3.dsc 2.2 KiB
acl2_8.6+dfsg-3_amd64.deb 35 MiB
acl2_8.6+dfsg-3_armhf.deb 38 MiB
acl2_8.6+dfsg-3_i386.deb 39 MiB
acl2_8.6+dfsg.orig.tar.gz 229 MiB
acl2_8.7+dfsg-3.debian.tar.xz 881 KiB
acl2_8.7+dfsg-3.dsc 2.2 KiB
acl2_8.7+dfsg-3_amd64.deb 34 MiB
acl2_8.7+dfsg-3_arm64.deb 31 MiB
acl2_8.7+dfsg-3_armhf.deb 33 MiB
acl2_8.7+dfsg-3_i386.deb 35 MiB
acl2_8.7+dfsg.orig.tar.gz 238 MiB
elpa-acl2_8.6+dfsg-3_all.deb 77 KiB
elpa-acl2_8.7+dfsg-3_all.deb 76 KiB