summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/acl2: fix find callMaciej Barć2024-03-081-3/+3
* sci-mathematics/acl2: bump to 8.5_p20240307Maciej Barć2024-03-071-0/+111