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"]
12remove: [["ocamlfind" "remove" "statverif"] ["rm" "-f" "%{bin}%/statverif"] ["rm" "-f" "%{bin}%/statveriftotex"]]
13depends: [
14 "ocaml" {< "5.0.0"}
15 "ocamlfind" {build}
16 "ocamlbuild" {build}
17]
18synopsis:
19 "StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif."
20flags: light-uninstall
21url {
22 src: "https://github.com/rittere/statverif/archive/1.97pl1.1.tar.gz"
23 checksum: [
24 "sha256=1bd2ed7451a6a550245e450dd4d2fbfb3e22ab9e366c24088b66a45b19032956"
25 "md5=0ee4792bb311ce03f0a100e3572118e8"
26 ]
27}