../ 8.0_1/ 09-May-2018 19:41 - acl2-8.0.tar.gz 07-May-2018 21:23 77190378 acl2-8.1.tar.gz 20-Sep-2018 18:04 78539182 acl2-8.2.tar.gz 24-Aug-2019 11:23 80214015 acl2-8.3.tar.gz 17-Apr-2021 20:16 116808616