this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Using Xmldiff on DOM"
3maintainer: "zoggy@bat8.org"
4authors: "Zoggy <zoggy@bat8.org>"
5license: "GPL-3.0-only"
6homepage: "https://zoggy.frama.io/xmldiff/"
7doc: "https://zoggy.frama.io/xmldiff/refdoc/index.html"
8bug-reports: "https://framagit.org/zoggy/xmldiff/issues"
9depends: [
10 "dune" {>= "2.9"}
11 "xmldiff" {= version}
12 "js_of_ocaml" {>= "3.11.0"}
13 "js_of_ocaml-ppx" {>= "3.11.0"}
14 "odoc" {with-doc}
15]
16build: [
17 ["dune" "subst"] {dev}
18 [
19 "dune"
20 "build"
21 "-p"
22 name
23 "-j"
24 jobs
25 "--promote-install-files=false"
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30 ["dune" "install" "-p" name "--create-install-files" name]
31]
32dev-repo: "git+https://framagit.org/zoggy/xmldiff.git"
33url {
34 src:
35 "https://framagit.org/zoggy/xmldiff/-/archive/0.7.0/xmldiff-0.7.0.tar.bz2"
36 checksum: [
37 "md5=7658a876b2c6c8b022e7017a1c69305c"
38 "sha512=5ebf60e0315e0f5afff99026b92b81bd724bc21a4992630d5e0f4c981365970bc064e3f2071d3eb792e5aaa2134b1a07f419c4f173a7e3a21b71540486a2f4d3"
39 ]
40}