summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/alt-ergo: Stabilize 2.4.3 amd64, #912295Sam James2023-08-161-1/+1
* sci-mathematics/alt-ergo: bump to 2.4.3Maciej Barć2023-06-041-0/+76