Index of /kali/pool/main/a/acl2/
../
acl2-books-certs_7.4dfsg-4_all.deb 02-Oct-2017 17:45 64509116
acl2-books-certs_8.0dfsg-1_all.deb 13-Feb-2019 12:00 73306868
acl2-books-source_7.4dfsg-4_all.deb 02-Oct-2017 17:45 11974186
acl2-books-source_8.0dfsg-1_all.deb 13-Feb-2019 12:00 12473396
acl2-books_7.4dfsg-4_amd64.deb 02-Oct-2017 17:45 124651772
acl2-books_7.4dfsg-4_arm64.deb 03-Oct-2017 03:55 126949868
acl2-books_7.4dfsg-4_armel.deb 04-Oct-2017 03:27 112646326
acl2-books_7.4dfsg-4_armhf.deb 04-Oct-2017 00:26 106373904
acl2-books_7.4dfsg-4_i386.deb 02-Oct-2017 23:42 107173252
acl2-books_8.0dfsg-1+b1_armel.deb 15-Feb-2019 06:00 133435480
acl2-books_8.0dfsg-1_amd64.deb 13-Feb-2019 12:00 137946376
acl2-books_8.0dfsg-1_arm64.deb 13-Feb-2019 12:00 141349688
acl2-books_8.0dfsg-1_armhf.deb 13-Feb-2019 12:00 125371900
acl2-books_8.0dfsg-1_i386.deb 13-Feb-2019 12:00 115998080
acl2-doc_7.4dfsg-4_all.deb 02-Oct-2017 17:45 387658
acl2-doc_8.0dfsg-1_all.deb 13-Feb-2019 12:00 401524
acl2-emacs_7.4dfsg-4_all.deb 02-Oct-2017 17:45 66998
acl2-emacs_8.0dfsg-1_all.deb 13-Feb-2019 12:00 67608
acl2-infix-source_7.4dfsg-4_all.deb 02-Oct-2017 17:45 79118
acl2-infix-source_8.0dfsg-1_all.deb 13-Feb-2019 12:00 79188
acl2-infix_7.4dfsg-4_amd64.deb 02-Oct-2017 17:45 433026
acl2-infix_7.4dfsg-4_arm64.deb 03-Oct-2017 03:55 444076
acl2-infix_7.4dfsg-4_armel.deb 04-Oct-2017 03:27 401900
acl2-infix_7.4dfsg-4_armhf.deb 04-Oct-2017 00:26 416672
acl2-infix_7.4dfsg-4_i386.deb 02-Oct-2017 23:42 399052
acl2-infix_8.0dfsg-1+b1_armel.deb 15-Feb-2019 06:00 442180
acl2-infix_8.0dfsg-1_amd64.deb 13-Feb-2019 12:00 432032
acl2-infix_8.0dfsg-1_arm64.deb 13-Feb-2019 12:00 442796
acl2-infix_8.0dfsg-1_armhf.deb 13-Feb-2019 12:00 416256
acl2-infix_8.0dfsg-1_i386.deb 13-Feb-2019 12:00 399340
acl2-source_7.4dfsg-4_all.deb 02-Oct-2017 17:45 3014660
acl2-source_8.0dfsg-1_all.deb 13-Feb-2019 12:00 3081324
acl2_7.4dfsg-4.debian.tar.xz 02-Oct-2017 17:45 204672
acl2_7.4dfsg-4.dsc 02-Oct-2017 17:45 2231
acl2_7.4dfsg-4_amd64.deb 02-Oct-2017 17:45 18814820
acl2_7.4dfsg-4_arm64.deb 03-Oct-2017 03:55 17595972
acl2_7.4dfsg-4_armel.deb 04-Oct-2017 03:27 16098972
acl2_7.4dfsg-4_armhf.deb 04-Oct-2017 00:26 15901274
acl2_7.4dfsg-4_i386.deb 02-Oct-2017 23:42 16204058
acl2_7.4dfsg.orig.tar.gz 10-May-2017 00:57 65270638
acl2_8.0dfsg-1+b1_armel.deb 15-Feb-2019 06:00 16726192
acl2_8.0dfsg-1.debian.tar.xz 13-Feb-2019 12:00 204760
acl2_8.0dfsg-1.dsc 13-Feb-2019 12:00 2245
acl2_8.0dfsg-1_amd64.deb 13-Feb-2019 12:00 19855896
acl2_8.0dfsg-1_arm64.deb 13-Feb-2019 12:00 17862108
acl2_8.0dfsg-1_armhf.deb 13-Feb-2019 12:00 16175824
acl2_8.0dfsg-1_i386.deb 13-Feb-2019 12:00 16994808
acl2_8.0dfsg.orig.tar.gz 13-Feb-2019 12:00 77635571