Index of /kali/pool/main/a/acl2/


../
acl2-books-certs_8.4dfsg-2_all.deb                 02-Nov-2021 03:14           175671700
acl2-books-source_8.4dfsg-2_all.deb                02-Nov-2021 03:14            22957348
acl2-books_8.0dfsg-1+b1_armel.deb                  15-Feb-2019 06:00           133435480
acl2-books_8.4dfsg-2_amd64.deb                     02-Nov-2021 05:45           299366996
acl2-books_8.4dfsg-2_arm64.deb                     02-Nov-2021 17:58           293814652
acl2-books_8.4dfsg-2_armel.deb                     02-Nov-2021 21:47           274786608
acl2-books_8.4dfsg-2_armhf.deb                     03-Nov-2021 07:28           281397504
acl2-books_8.4dfsg-2_i386.deb                      02-Nov-2021 05:14           258326572
acl2-doc_8.4dfsg-2_all.deb                         02-Nov-2021 03:14              455872
acl2-infix-source_8.4dfsg-2_all.deb                02-Nov-2021 03:14               80080
acl2-infix_8.0dfsg-1+b1_armel.deb                  15-Feb-2019 06:00              442180
acl2-infix_8.4dfsg-2_amd64.deb                     02-Nov-2021 05:45              489352
acl2-infix_8.4dfsg-2_arm64.deb                     02-Nov-2021 17:58              485972
acl2-infix_8.4dfsg-2_armel.deb                     02-Nov-2021 21:47              476856
acl2-infix_8.4dfsg-2_armhf.deb                     03-Nov-2021 07:28              491288
acl2-infix_8.4dfsg-2_i386.deb                      02-Nov-2021 05:14              495200
acl2-source_8.4dfsg-2_all.deb                      02-Nov-2021 03:14             3481192
acl2_8.0dfsg-1+b1_armel.deb                        15-Feb-2019 06:00            16726192
acl2_8.4dfsg-2.debian.tar.xz                       01-Nov-2021 16:37              311628
acl2_8.4dfsg-2.dsc                                 01-Nov-2021 16:37                2281
acl2_8.4dfsg-2_amd64.deb                           02-Nov-2021 05:45            21671532
acl2_8.4dfsg-2_arm64.deb                           02-Nov-2021 17:58            20254520
acl2_8.4dfsg-2_armel.deb                           02-Nov-2021 21:47            18728396
acl2_8.4dfsg-2_armhf.deb                           03-Nov-2021 07:28            18695676
acl2_8.4dfsg-2_i386.deb                            02-Nov-2021 05:14            19628924
acl2_8.4dfsg.orig.tar.gz                           28-Oct-2021 17:48           202991839
elpa-acl2_8.4dfsg-2_all.deb                        02-Nov-2021 03:14               77228