aboutsummaryrefslogtreecommitdiff
path: root/academic/acl2
ModeNameSize
-rw-r--r--README402logplain
-rwxr-xr-xacl277logplain
-rw-r--r--acl2.SlackBuild2887logplain
-rw-r--r--acl2.info341logplain
-rw-r--r--slack-desc945logplain