summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/proverif: use edo instead of edobMaciej Barć2024-05-243-9/+9
* sci-mathematics/proverif: bump to 2.05Maciej Barć2023-12-101-1/+1
* sci-mathematics/proverif: bump to 2.05Maciej Barć2023-12-102-0/+67
* sci-mathematics/proverif: require ocamloptMaciej Barć2023-11-022-6/+12
* sci-mathematics/proverif: new package; add 2.04Maciej Barć2023-08-135-0/+173