../ 8.0_1/ 10-May-2018 03:41 - acl2-8.0.tar.gz 08-May-2018 05:23 74M acl2-8.1.tar.gz 21-Sep-2018 02:04 75M acl2-8.2.tar.gz 24-Aug-2019 19:23 76M acl2-8.3.tar.gz 18-Apr-2021 04:16 111M