summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/acl2: new package; add 8.5Maciej Barć2023-01-081-0/+20