this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Miscellaneous functions for Diff/AST"
4description:
5 "Miscellaneous functions such as input/output functions for Diff/AST. Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6maintainer: [
7 "Codinuum <codinuum@me.com>"
8 "Masatomo Hashimoto <m.hashimoto@stair.center>"
9]
10authors: [
11 "Codinuum <codinuum@me.com>"
12 "Masatomo Hashimoto <m.hashimoto@stair.center>"
13]
14license: "Apache-2.0"
15homepage: "https://github.com/codinuum/diffast"
16doc: "https://github.com/codinuum/diffast/README.md"
17bug-reports: "https://github.com/codinuum/diffast/issues"
18depends: [
19 "ocaml" {>= "4.14"}
20 "dune" {>= "3.17"}
21 "base64" {>= "3.0.0"}
22 "bytesrw"
23 "cryptokit"
24 "markup"
25 "vlt" {>= "0.2.4"}
26 "odoc" {with-doc}
27]
28build: [
29 ["dune" "subst"] {dev}
30 [
31 "dune"
32 "build"
33 "-p"
34 name
35 "-j"
36 jobs
37 "--promote-install-files=false"
38 "@install"
39 "@runtest" {with-test}
40 "@doc" {with-doc}
41 ]
42 ["dune" "install" "-p" name "--create-install-files" name]
43]
44dev-repo: "git+https://github.com/codinuum/diffast.git"
45url {
46 src: "https://github.com/codinuum/diffast/archive/v0.1.tar.gz"
47 checksum: [
48 "sha256=160f704cc31d3cb2131fc6bab9a0fed46c05427eec5713882843b0104b69c324"
49 "md5=e8eef8a5b7e58b622dc948a15c87ad7f"
50 ]
51}