Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
proverif
Cryptographic protocol verifier in the formal model
https://bblanche.gitlabpages.inria.fr/proverif/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-05-23
sci-mathematics/proverif: use edo instead of edob
3c32aeb
Maciej Barć
committed on 2024-05-23 22:08:07 UTC
sci-mathematics/proverif/proverif-2.04-r1.ebuild
sci-mathematics/proverif/proverif-2.05.ebuild
sci-mathematics/proverif/proverif-9999.ebuild
Commits on 2023-12-10
sci-mathematics/proverif: bump to 2.05
4be39a2
Maciej Barć
committed on 2023-12-10 19:16:34 UTC
sci-mathematics/proverif/proverif-2.05.ebuild
sci-mathematics/proverif: bump to 2.05
0e78b66
Maciej Barć
committed on 2023-12-10 19:16:34 UTC
sci-mathematics/proverif/proverif-2.05.ebuild
sci-mathematics/proverif/Manifest
Commits on 2023-11-02
sci-mathematics/proverif: require ocamlopt
49db8fd
Maciej Barć
committed on 2023-11-02 22:11:18 UTC
sci-mathematics/proverif/proverif-2.04-r1.ebuild
sci-mathematics/proverif/proverif-9999.ebuild
sci-mathematics/proverif/proverif-2.04.ebuild
Commits on 2023-08-13
sci-mathematics/proverif: new package; add 2.04
2fff060
Maciej Barć
committed on 2023-08-13 19:26:08 UTC
sci-mathematics/proverif/Manifest
sci-mathematics/proverif/files/50proverif-gentoo.el
sci-mathematics/proverif/metadata.xml
sci-mathematics/proverif/proverif-2.04.ebuild
sci-mathematics/proverif/proverif-9999.ebuild
Packages
Maciej Barć committed on 2023-12-10 19:16:34 UTC Maciej Barć committed on 2023-12-10 19:16:34 UTC Maciej Barć committed on 2023-08-13 19:26:08 UTC