opam-version: "2.0"
synopsis: "VOCaL -- The Verified OCaml Library"
description: "VOCaL -- The Verified OCaml Library"
maintainer: "Mário Pereira <mpereira@lri.fr>"
authors: [
  "Arthur Charguéraud"
  "Martin Clochard"
  "Jean-Christophe Filliâtre"
  "Léon Gondelman"
  "Armaël Guéneau"
  "Xavier Leroy"
  "Cláudio Lourenço"
  "Simão Melo de Sousa"
  "Andrei Paskevich"
  "Mário Pereira"
  "François Pottier"
]
license: "MIT"
homepage: "https://vocal.lri.fr/"
dev-repo: "git://github.com/vocal-project/vocal"
bug-reports: "https://github.com/vocal-project/vocal/issues"
doc: "https://github.com/vocal-project/vocal/blob/master/README.md"
build: [
  [ "dune" "build" "-p" name ]
]
depends: [
  "dune"
  "ocaml" {>= "4.07"}
  "seq"
]
url {
  src: "https://github.com/vocal-project/vocal/archive/0.1.tar.gz"
  checksum: [
    "md5=958aa0242ed5abb398bff503b24e6a9f"
    "sha512=f594f3b422bbbf4888db12ae3a75ed0a9de458a8b9e0dbeafebd0ddd3ace3f21233874817309eac4b5d80f72f778ee92038652b166f2c93d0522b6fda3a2cbeb"
  ]
}
