this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Ego (EGraphs OCaml) is extensible EGraph library for OCaml"
3description:
4 "Ego is an exensible egraph library for OCaml loosely based on the egg library in Rust."
5maintainer: ["kirang@comp.nus.edu.sg"]
6authors: ["Kiran Gopinathan"]
7license: "GPL-3.0-or-later"
8homepage: "https://gitlab.com/gopiandcode/ego"
9bug-reports: "https://gitlab.com/gopiandcode/ego/issues"
10depends: [
11 "dune" {>= "2.9"}
12 "ocaml" {>= "4.0.8"}
13 "containers" {>= "3.4"}
14 "containers-data" {>= "3.4"}
15 "iter" {>= "1.2.1"}
16 "ppx_deriving" {>= "4.4"}
17 "ppx_inline_alcotest" {>= "1.0.0"}
18 "ppx_inline_alcotest" {>= "1.0.0"}
19 "ocamldot" {>= "1.1"}
20 "sexplib" {>= "v0.14.0"}
21 "ppxlib" {>= "0.22.0"}
22 "odoc" {with-doc}
23]
24build: [
25 ["dune" "subst"] {dev}
26 [
27 "dune"
28 "build"
29 "-p"
30 name
31 "-j"
32 jobs
33 "--promote-install-files=false"
34 "@install"
35 "@runtest" {with-test}
36 "@doc" {with-doc}
37 ]
38 ["dune" "install" "-p" name "--create-install-files" name]
39]
40dev-repo: "git+https://gitlab.com/gopiandcode/ego.git"
41url {
42 src: "https://github.com/verse-lab/ego/archive/refs/tags/0.0.6.tar.gz"
43 checksum: [
44 "sha256=770f617799a51e282e82e055d4a715328001e7208deaf92bc1ae5710c34dcaf3"
45 "md5=016028a0dcd7a8cef864b20879baf9dd"
46 ]
47}