this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "An OCaml library implementing unifiable abstract binding trees (UABTs)"
4description: """
5um-abt provides an abstract binding tree (ABT) library following the
6 principles of Robert Harper's 'Practical Foundations for Programming
7 Languages'.
8
9 The library uses immutable pointers to represent variable binding and extends
10 ABTs with unification, providing unifiable abstract binding trees (UABTs)."""
11maintainer: ["shon.feder@gmail.com"]
12authors: ["Shon Feder"]
13license: "MIT"
14homepage: "https://github.com/shonfeder/um-abt"
15doc: "https://shonfeder.github.io/um-abt"
16bug-reports: "https://github.com/shonfeder/um-abt/issues"
17depends: [
18 "dune" {>= "2.8"}
19 "ppx_expect" {>= "v0.14.1"}
20 "ppx_deriving" {>= "5.2.1"}
21 "logs" {>= "0.7.0"}
22 "logs-ppx" {>= "0.2.0"}
23 "qcheck" {with-test & >= "0.17"}
24 "bos" {with-test & >= "0.2.0"}
25 "mdx" {with-test & >= "1.10.1"}
26 "odoc" {with-doc}
27]
28conflicts: [
29 "result" {< "1.5"}
30]
31build: [
32 ["dune" "subst"] {dev}
33 [
34 "dune"
35 "build"
36 "-p"
37 name
38 "-j"
39 jobs
40 "@install"
41 "@runtest" {with-test}
42 "@doc" {with-doc}
43 ]
44]
45dev-repo: "git+https://github.com/shonfeder/um-abt.git"
46url {
47 src:
48 "https://github.com/shonfeder/um-abt/releases/download/v0.1.5/um-abt-v0.1.5.tbz"
49 checksum: [
50 "sha256=d22a7c70f310a58c38906164fc8cef10b72da7989cf2686a51d6b75cf041e041"
51 "sha512=2fdc2823fe5d0d5a123e3daa7cc3c5e06b226caa2cbf3e8f824f24e87d595260b31787faa11961a1fb0f806fa0911894b31625daea2e6b980bb6a3b9330b9523"
52 ]
53}
54x-commit-hash: "71f39b19ec1da8cef2ee904a8ad9c8100ea68cd9"