summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/easycrypt: bump to 2024.01Maciej Barć2024-02-031-0/+49