opam-version: "2.0"
maintainer:
  "Bruno Blanchet <bruno.blanchet@inria.fr>, Marc Sylvestre <marc.sylvestre@inria.fr>"
authors:
  "Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@icloud.com>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre <marc.sylvestre@inria.fr>"
homepage: "http://proverif.inria.fr/"
bug-reports: "bruno.blanchet@inria.fr"
license: "GPL-1.0-or-later"
build: [
  ["./build" "ocb.byte"] {!ocaml:native}
  ["./build" "ocb.native"] {ocaml:native}
]
install: [ "./build" "install" "%{prefix}%" ]

remove: [
  [ "rm" "-rf"
      "%{prefix}%/doc/proverif"
      "%{prefix}%/bin/proverif"
      "%{prefix}%/bin/proveriftotex"
      "%{prefix}%/bin/proverif.exe"
      "%{prefix}%/bin/proveriftotex.exe"
  ]
]
depends: [
  "ocaml" {< "4.06.0"}
  "ocamlfind"
  "ocamlbuild"
]
depexts: [
  [[] ["graphviz"] ]
]
synopsis: "ProVerif: Cryptographic protocol verifier in the formal model"
flags: light-uninstall
url {
  src: "http://proverif.inria.fr/proverif1.96pl1.tar.gz"
  checksum: "md5=ae31b3c6c9d364fa1cc2f3047bb9167c"
}
