this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Documentation for ProVerif, a cryptographic protocol verifier in the symbolic model"
3maintainer:
4 "Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>"
5authors:
6 "Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre"
7homepage: "http://proverif.inria.fr/"
8bug-reports: "proverif-dev@inria.fr"
9license: "Public domain"
10
11install: [ "./installdoc" "%{prefix}%" ]
12
13url {
14 src: "https://proverif.inria.fr/proverifdoc2.03.tar.gz"
15 checksum: [
16 "sha256=5569a30c6aafd8cc0af96fe0e86f5542a00dfd8d41a919eaad230bae78b2f82b"
17 "md5=4186c25c1e45ffdb53588df98971d4d2"
18 ]
19}