opam-version: "2.0"
synopsis: "External type infer"
description: "external type infer"
maintainer: "Taine Zhao"
authors: "Taine Zhao <thaut@logic.cs.tsukuba.ac.jp>"
homepage: "https://github.com/RemuLang"
bug-reports: "https://github.com/RemuLang/remu-type-system/issues"
depends: [
  "ocaml" {>= "4.03"}
  "dune" {>= "1.11"}
  "batteries" {>= "2.0"}
  "ppx_deriving" {>= "4.0"}
]
build: [
  ["dune" "subst"] {pinned}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
url {
  src: "https://github.com/RemuLang/remu-type-system/archive/0.1.zip"
  checksum: [
    "md5=00a30cf9d90aa48aaae5e7e1682bd373"
    "sha512=0d25d7e2e1c4ddd80886a467043238c2cfcc4466365d980d8717e45fa4120227745875e967fc9f1a531cc94e8bd51128187e274a4f1aa8e61490905b5ef39b79"
  ]
}
