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/"
8dev-repo: "git+https://gitlab.inria.fr/bblanche/proverif.git"
9bug-reports: "proverif-dev@inria.fr"
10license: "Public domain"
11
12install: [ "./installdoc" "%{prefix}%" ]
13
14url {
15 src: "https://proverif.inria.fr/proverifdoc2.05.tar.gz"
16 checksum: [
17 "sha256=826ed0d0921e8724275cd1311dd9581cb62026282001fee969db194d1c05c5e8"
18 "md5=23687ffb2765ce947c114a8fad5e1097"
19 ]
20}