this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Eike Ritter <E.Ritter@cs.bham.ac.uk>"
3authors: ["Eike Ritter, Joshua Philipps, Bruno Blanchet, Vincent Cheval, and Marc Sylvestre "]
4homepage: "http://sec.cs.bham.ac.uk/research/StatVerif"
5bug-reports: "E.Ritter@cs.bham.ac.uk"
6license: "GPL-2.0-only"
7dev-repo: "git+https://github.com/rittere/statverif.git"
8build: [
9 [make]
10]
11install: [make "prefix=%{prefix}%" "install"]
12depends: [
13 "ocaml" {< "5.0.0"}
14 "ocamlfind" {build}
15 "ocamlbuild" {build}
16]
17synopsis:
18"StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif"
19url {
20 src: "https://github.com/rittere/statverif/archive/1.97pl1.2.tar.gz"
21 checksum: [
22 "sha256=9156f24064ca765cf018073636812cb46b9a454481f865b8d41454a635befe3d"
23 "md5=8ff654f628af23cb7921f277efabc574"
24 ]
25}