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 "logs" {>= "0.7.0"}
20 "sexplib" {>= "v0.14.0"}
21 "ppx_expect" {>= "v0.14.1"}
22 "ppx_deriving" {>= "5.2.1"}
23 "ppx_sexp_conv" {>= "v0.14.3"}
24 "logs-ppx" {>= "0.2.0"}
25 "qcheck" {with-test & >= "0.17"}
26 "bos" {with-test & >= "0.2.0"}
27 "mdx" {with-test & >= "1.10.1"}
28 "odoc" {with-doc}
29]
30conflicts: [
31 "result" {< "1.5"}
32]
33build: [
34 ["dune" "subst"] {dev}
35 [
36 "dune"
37 "build"
38 "-p"
39 name
40 "-j"
41 jobs
42 "@install"
43 "@runtest" {with-test}
44 "@doc" {with-doc}
45 ]
46]
47dev-repo: "git+https://github.com/shonfeder/um-abt.git"
48url {
49 src:
50 "https://github.com/shonfeder/um-abt/releases/download/v0.1.7/um-abt-v0.1.7.tbz"
51 checksum: [
52 "sha256=9472873b4f485ff1c169d950488133c79efb4b00b757526bfb14a2f043a0480f"
53 "sha512=e3ea3990177778ae109082bea0b952b760b4fc9a243f0321367d2927061e3766c0d99679c5e4b13f89532b22ad4993c34f91b625ec40e07f113b9812521f91f4"
54 ]
55}
56x-commit-hash: "2b3860b8f9217b04e7cb0645ede7726988c3735b"