Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (24 sloc) 738 Bytes
opam-version: "2.0"
name: "statverif"
version: "1.97pl1.2"
maintainer: "Eike Ritter <>"
authors: ["Eike Ritter, Joshua Philipps, Bruno Blanchet, Vincent Cheval, and Marc Sylvestre "]
homepage: ""
bug-reports: ""
license: "GPL 2"
dev-repo: "git+"
build: [
install: [make "prefix=%{prefix}%" "install"]
depends: [
"ocamlfind" {build}
"ocamlbuild" {build}
"StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif"
url {
src: ""
checksum: "md5=8ff654f628af23cb7921f277efabc574"
You can’t perform that action at this time.