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