this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "External type infer"
3description: "external type infer"
4maintainer: "Taine Zhao"
5authors: "Taine Zhao <thaut@logic.cs.tsukuba.ac.jp>"
6homepage: "https://github.com/RemuLang"
7bug-reports: "https://github.com/RemuLang/remu-type-system/issues"
8depends: [
9 "ocaml" {>= "4.03"}
10 "dune" {>= "1.11"}
11 "batteries" {>= "2.0"}
12 "ppx_deriving" {>= "4.0"}
13]
14build: [
15 ["dune" "subst"] {dev}
16 [
17 "dune"
18 "build"
19 "-p"
20 name
21 "-j"
22 jobs
23 "@install"
24 "@runtest" {with-test}
25 "@doc" {with-doc}
26 ]
27]
28dev-repo: "git+https://github.com/RemuLang/remu-type-system.git"
29url {
30 src: "https://github.com/RemuLang/remu-type-system/archive/0.1.zip"
31 checksum: [
32 "md5=00a30cf9d90aa48aaae5e7e1682bd373"
33 "sha512=0d25d7e2e1c4ddd80886a467043238c2cfcc4466365d980d8717e45fa4120227745875e967fc9f1a531cc94e8bd51128187e274a4f1aa8e61490905b5ef39b79"
34 ]
35}