Index of /slackware/sbo/local/15.0/academic/acl2/

../
README                                             27-Apr-2024 07:19                 402
acl2                                               27-Apr-2024 07:19                  77
acl2.SlackBuild                                    27-Apr-2024 07:19                2887
acl2.info                                          27-Apr-2024 07:19                 341
slack-desc                                         27-Apr-2024 07:19                 945