summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/proverif: new package; add 2.04Maciej Barć2023-08-131-0/+33