name: "inferno-sample-client"
opam-version: "2.0"
maintainer: "francois.pottier@inria.fr"
authors: [
  "François Pottier <francois.pottier@inria.fr>"
  "Olivier Martinot <olivier.martinot@inria.fr>"
  "Gabriel Scherer <gabriel.scherer@inria.fr>"
]
homepage: "https://gitlab.inria.fr/fpottier/inferno"
dev-repo: "git+https://gitlab.inria.fr/fpottier/inferno.git"
bug-reports: "francois.pottier@inria.fr"
license: "MIT"
synopsis: "A sample client of Inferno"
build: [
  ["dune" "build" "-p" name "-j" jobs]
]
depends: [
  "inferno"
  "menhir" { >= "20201201" }
  "pprint"
  "qcheck"
  "alcotest"
  "qcheck-alcotest"
]