Skip to content

Commit 12d6209

Browse files
committed
contd.
1 parent 028e973 commit 12d6209

File tree

2 files changed

+109
-0
lines changed
  • packages
    • diffast-cli/diffast-cli.0.1.1
    • diffast-git-cli/diffast-git-cli.0.1.1

2 files changed

+109
-0
lines changed
Lines changed: 52 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
# This file is generated by dune, edit dune-project instead
2+
opam-version: "2.0"
3+
synopsis: "Diff/AST command line interface"
4+
description:
5+
"Diff/AST command line interface. 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."
6+
maintainer: [
7+
"Codinuum <[email protected]>"
8+
"Masatomo Hashimoto <[email protected]>"
9+
]
10+
authors: [
11+
"Codinuum <[email protected]>"
12+
"Masatomo Hashimoto <[email protected]>"
13+
]
14+
license: "Apache-2.0"
15+
homepage: "https://github.com/codinuum/diffast"
16+
doc: "https://github.com/codinuum/diffast/README.md"
17+
bug-reports: "https://github.com/codinuum/diffast/issues"
18+
available: os != "win32"
19+
depends: [
20+
"ocaml" {>= "4.14"}
21+
"dune" {>= "3.17"}
22+
"diffast-misc" {= version}
23+
"diffast-core" {= version}
24+
"diffast-api" {= version}
25+
"diffast-etc" {= version}
26+
"vlt" {>= "0.2.4"}
27+
"odoc" {with-doc}
28+
]
29+
build: [
30+
["dune" "subst"] {dev}
31+
[
32+
"dune"
33+
"build"
34+
"-p"
35+
name
36+
"-j"
37+
jobs
38+
"--promote-install-files=false"
39+
"@install"
40+
"@runtest" {with-test}
41+
"@doc" {with-doc}
42+
]
43+
["dune" "install" "-p" name "--create-install-files" name]
44+
]
45+
dev-repo: "git+https://github.com/codinuum/diffast.git"
46+
url {
47+
src: "https://github.com/codinuum/diffast/archive/v0.1.1.tar.gz"
48+
checksum: [
49+
"sha256=2b36318d1317efb4e3ae71727934aa8883dde49ad5dd71d85df6a9b9b10bfe0a"
50+
"md5=a0d35178f15cd2d2a3b907a0bbcc959c"
51+
]
52+
}
Lines changed: 57 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
# This file is generated by dune, edit dune-project instead
2+
opam-version: "2.0"
3+
synopsis: "Git-Diff/AST command line interface"
4+
description:
5+
"Git-Diff/AST command line interface. 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."
6+
maintainer: [
7+
"Codinuum <[email protected]>"
8+
"Masatomo Hashimoto <[email protected]>"
9+
]
10+
authors: [
11+
"Codinuum <[email protected]>"
12+
"Masatomo Hashimoto <[email protected]>"
13+
]
14+
license: "Apache-2.0"
15+
homepage: "https://github.com/codinuum/diffast"
16+
doc: "https://github.com/codinuum/diffast/README.md"
17+
bug-reports: "https://github.com/codinuum/diffast/issues"
18+
available: os != "win32"
19+
depends: [
20+
"ocaml" {>= "4.14"}
21+
"dune" {>= "3.17"}
22+
"cmdliner"
23+
"mtime" {>= "2.0"}
24+
"fmt"
25+
"logs"
26+
"diffast-misc" {= version}
27+
"diffast-core" {= version}
28+
"diffast-api" {= version}
29+
"diffast-git" {= version}
30+
"diffast-etc" {= version}
31+
"vlt" {>= "0.2.4"}
32+
"odoc" {with-doc}
33+
]
34+
build: [
35+
["dune" "subst"] {dev}
36+
[
37+
"dune"
38+
"build"
39+
"-p"
40+
name
41+
"-j"
42+
jobs
43+
"--promote-install-files=false"
44+
"@install"
45+
"@runtest" {with-test}
46+
"@doc" {with-doc}
47+
]
48+
["dune" "install" "-p" name "--create-install-files" name]
49+
]
50+
dev-repo: "git+https://github.com/codinuum/diffast.git"
51+
url {
52+
src: "https://github.com/codinuum/diffast/archive/v0.1.1.tar.gz"
53+
checksum: [
54+
"sha256=2b36318d1317efb4e3ae71727934aa8883dde49ad5dd71d85df6a9b9b10bfe0a"
55+
"md5=a0d35178f15cd2d2a3b907a0bbcc959c"
56+
]
57+
}

0 commit comments

Comments
 (0)