gentoo.mahdi.cz
sci-mathematics
:proverif
Cryptographic protocol verifier in the formal model
proverif-9999
GPL-2+
download
~amd64 ~x86
gentoo
proverif-2.05
GPL-2+
download
~amd64 ~x86
gentoo
proverif-2.04-r1
GPL-2+
download
~amd64 ~x86
gentoo