Index of /macports/distfiles/acl2/

../
8.0_1/                                                                                                                   09-May-2018 19:41       -
acl2-8.0.tar.gz                                                                                                          07-May-2018 21:23     74M
acl2-8.1.tar.gz                                                                                                          20-Sep-2018 18:04     75M
acl2-8.2.tar.gz                                                                                                          24-Aug-2019 11:23     76M
acl2-8.3.tar.gz                                                                                                          17-Apr-2021 20:16    111M