summaryrefslogtreecommitdiffstats
path: root/academic/acl2 (follow)
Commit message (Expand)AuthorAgeFilesLines
* academic/acl2: Added (Computational Logic for LiSP)....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Lockywolf2023-07-185-0/+138