Index of ftp://kebo.vlsm.org/kali/pool/main/a/acl2

[DIR] Parent Directory

[ ] acl2-books-certs_7.4dfsg-4_all.deb  61.52Mb  October 2 2017
[ ] acl2-books-certs_8.0dfsg-1_all.deb  69.91Mb  February 13 2019
[ ] acl2-books-source_7.4dfsg-4_all.deb  11.42Mb  October 2 2017
[ ] acl2-books-source_8.0dfsg-1_all.deb  11.90Mb  February 13 2019
[ ] acl2-books_7.4dfsg-4_amd64.deb  118.88Mb  October 2 2017
[ ] acl2-books_7.4dfsg-4_i386.deb  102.21Mb  October 2 2017
[ ] acl2-books_8.0dfsg-1_amd64.deb  131.56Mb  February 13 2019
[ ] acl2-books_8.0dfsg-1_i386.deb  110.62Mb  February 13 2019
[ ] acl2-doc_7.4dfsg-4_all.deb  378.57Kb  October 2 2017
[ ] acl2-doc_8.0dfsg-1_all.deb  392.11Kb  February 13 2019
[ ] acl2-emacs_7.4dfsg-4_all.deb  65.43Kb  October 2 2017
[ ] acl2-emacs_8.0dfsg-1_all.deb  66.02Kb  February 13 2019
[ ] acl2-infix-source_7.4dfsg-4_all.deb  77.26Kb  October 2 2017
[ ] acl2-infix-source_8.0dfsg-1_all.deb  77.33Kb  February 13 2019
[ ] acl2-infix_7.4dfsg-4_amd64.deb  422.88Kb  October 2 2017
[ ] acl2-infix_7.4dfsg-4_i386.deb  389.70Kb  October 2 2017
[ ] acl2-infix_8.0dfsg-1_amd64.deb  421.91Kb  February 13 2019
[ ] acl2-infix_8.0dfsg-1_i386.deb  389.98Kb  February 13 2019
[ ] acl2-source_7.4dfsg-4_all.deb  2.88Mb  October 2 2017
[ ] acl2-source_8.0dfsg-1_all.deb  2.94Mb  February 13 2019
[ ] acl2_7.4dfsg-4.debian.tar.xz  199.88Kb  October 2 2017
[ ] acl2_7.4dfsg-4.dsc  2.18Kb  October 2 2017
[ ] acl2_7.4dfsg-4_amd64.deb  17.94Mb  October 2 2017
[ ] acl2_7.4dfsg-4_i386.deb  15.45Mb  October 2 2017
[ GZ] acl2_7.4dfsg.orig.tar.gz  62.25Mb  May 10 2017
[ ] acl2_8.0dfsg-1.debian.tar.xz  199.96Kb  February 13 2019
[ ] acl2_8.0dfsg-1.dsc  2.19Kb  February 13 2019
[ ] acl2_8.0dfsg-1_amd64.deb  18.94Mb  February 13 2019
[ ] acl2_8.0dfsg-1_i386.deb  16.21Mb  February 13 2019
[ GZ] acl2_8.0dfsg.orig.tar.gz  74.04Mb  February 13 2019