Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/proverif
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/proverif: require ocamloptMaciej Barć2023-11-022-6/+12
| | | | | Closes: https://bugs.gentoo.org/916717 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/proverif: new package; add 2.04Maciej Barć2023-08-135-0/+173
Signed-off-by: Maciej Barć <xgqt@gentoo.org>