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


../
acl2-books-certs_8.2dfsg-3_all.deb                 31-Dec-2019 12:29            68990468
acl2-books-source_8.2dfsg-3_all.deb                31-Dec-2019 12:29            14298228
acl2-books_8.0dfsg-1+b1_armel.deb                  15-Feb-2019 06:00           133435480
acl2-books_8.2dfsg-3_amd64.deb                     31-Dec-2019 13:55           171742700
acl2-books_8.2dfsg-3_arm64.deb                     01-Jan-2020 19:00           169331088
acl2-books_8.2dfsg-3_armel.deb                     01-Jan-2020 23:45           154502728
acl2-books_8.2dfsg-3_armhf.deb                     01-Jan-2020 20:58           158533636
acl2-books_8.2dfsg-3_i386.deb                      31-Dec-2019 09:07           145581308
acl2-doc_8.2dfsg-3_all.deb                         31-Dec-2019 12:29              432776
acl2-emacs_8.2dfsg-3_all.deb                       31-Dec-2019 12:29               68308
acl2-infix-source_8.2dfsg-3_all.deb                31-Dec-2019 12:29               79644
acl2-infix_8.0dfsg-1+b1_armel.deb                  15-Feb-2019 06:00              442180
acl2-infix_8.2dfsg-3_amd64.deb                     31-Dec-2019 13:55              491232
acl2-infix_8.2dfsg-3_arm64.deb                     01-Jan-2020 19:00              479252
acl2-infix_8.2dfsg-3_armel.deb                     01-Jan-2020 23:45              473568
acl2-infix_8.2dfsg-3_armhf.deb                     01-Jan-2020 20:58              466368
acl2-infix_8.2dfsg-3_i386.deb                      31-Dec-2019 09:07              497380
acl2-source_8.2dfsg-3_all.deb                      31-Dec-2019 12:29             3276396
acl2_8.0dfsg-1+b1_armel.deb                        15-Feb-2019 06:00            16726192
acl2_8.2dfsg-3.debian.tar.xz                       31-Dec-2019 02:04              205976
acl2_8.2dfsg-3.dsc                                 31-Dec-2019 02:04                2247
acl2_8.2dfsg-3_amd64.deb                           31-Dec-2019 13:55            21973360
acl2_8.2dfsg-3_arm64.deb                           01-Jan-2020 19:00            20412424
acl2_8.2dfsg-3_armel.deb                           01-Jan-2020 23:45            17885420
acl2_8.2dfsg-3_armhf.deb                           01-Jan-2020 20:58            18638728
acl2_8.2dfsg-3_i386.deb                            31-Dec-2019 09:07            18904632
acl2_8.2dfsg.orig.tar.gz                           19-Dec-2019 17:06            80652725