opam-version: "2.0"
maintainer: "francois.pottier@inria.fr"
authors: [
  "François Pottier <francois.pottier@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 library for constraint-based Hindley-Milner type inference"
build: [
  ["dune" "build" "-p" name "-j" jobs]
]
depends: [
  "ocaml" { >= "4.02.3" }
  "dune" {>= "1.11"}
]
url {
  src:
    "https://gitlab.inria.fr/fpottier/inferno/repository/20190924/archive.tar.gz"
  checksum: [
    "md5=85e6b46c16685c11e8356cc0f757f5f3"
    "sha512=106c7418acc0793a828937690641719415088a5e69c92a49cc157506e7ce85e4dd318642cd0835876621faa2d1efdbd69bb5745fcfe76d484ca22a3b155b8e83"
  ]
}
