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

../
README                                             04-May-2024 15:03                 402
acl2                                               04-May-2024 15:03                  77
acl2.SlackBuild                                    04-May-2024 15:03                2887
acl2.info                                          04-May-2024 15:03                 341
slack-desc                                         04-May-2024 15:03                 945