this repo has no description
Merge pull request #27443 from codinuum/diffast-20250214-0
[new release] diffast (part 0)
authored by
Marcello Seri
and committed by
GitHub
5af30b56
5db54f43
+97
+46
packages/diffast-etc/diffast-etc.0.1/opam
+46
packages/diffast-etc/diffast-etc.0.1/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Diff/AST etc files"
4
+
description:
5
+
"Config files 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."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
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
+
depends: [
19
+
"ocaml" {>= "4.14"}
20
+
"dune" {>= "3.17"}
21
+
"odoc" {with-doc}
22
+
]
23
+
build: [
24
+
["dune" "subst"] {dev}
25
+
[
26
+
"dune"
27
+
"build"
28
+
"-p"
29
+
name
30
+
"-j"
31
+
jobs
32
+
"--promote-install-files=false"
33
+
"@install"
34
+
"@runtest" {with-test}
35
+
"@doc" {with-doc}
36
+
]
37
+
["dune" "install" "-p" name "--create-install-files" name]
38
+
]
39
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
40
+
url {
41
+
src: "https://github.com/codinuum/diffast/archive/v0.1.tar.gz"
42
+
checksum: [
43
+
"sha256=160f704cc31d3cb2131fc6bab9a0fed46c05427eec5713882843b0104b69c324"
44
+
"md5=e8eef8a5b7e58b622dc948a15c87ad7f"
45
+
]
46
+
}
+51
packages/diffast-misc/diffast-misc.0.1/opam
+51
packages/diffast-misc/diffast-misc.0.1/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Miscellaneous functions for Diff/AST"
4
+
description:
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."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
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
+
depends: [
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
+
]
28
+
build: [
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
+
]
44
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
45
+
url {
46
+
src: "https://github.com/codinuum/diffast/archive/v0.1.tar.gz"
47
+
checksum: [
48
+
"sha256=160f704cc31d3cb2131fc6bab9a0fed46c05427eec5713882843b0104b69c324"
49
+
"md5=e8eef8a5b7e58b622dc948a15c87ad7f"
50
+
]
51
+
}