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.3"}
14 "containers-data" {>= "3.3"}
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"
34 "false"
35 "@install"
36 "@runtest" {with-test}
37 "@doc" {with-doc}
38 ]
39 ["dune" "install" "-p" name "--create-install-files" name]
40]
41dev-repo: "git+https://gitlab.com/gopiandcode/ego.git"
42url {
43 src: "https://gitlab.com/gopiandcode/ego/-/archive/0.0.5/ego-0.0.5.tar.gz"
44 checksum: [
45 "sha256=0533ac53a0e7bb4af8b5307f26975f2d65b6812e187743e516967c73b8cb543d"
46 "md5=beeaf3fd3f9ac04c04de5f859c24702d"
47 ]
48}