summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/easycrypt: bump to 2024.09Maciej Barć2024-10-061-0/+50