Index of /pub/slackbuilds.org/15.0/academic/acl2

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] acl2.SlackBuild                     2023-07-22 03:57  2.8K  
[   ] slack-desc                          2023-07-22 03:57  945   
[   ] README                              2023-07-22 03:57  402   
[   ] acl2.info                           2023-07-22 03:57  341   
[   ] acl2                                2023-07-22 03:57   77