this repo has no description
Merge pull request #27701 from codinuum/diffast-20250403
[new release] diffast 0.2 (part 6)
authored by
Marcello Seri
and committed by
GitHub
07a22d15
96403aad
+57
+57
packages/diffast-git-cli/diffast-git-cli.0.2/opam
+57
packages/diffast-git-cli/diffast-git-cli.0.2/opam
···
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 <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
+
available: os != "win32" & opam-version >= "2.1"
19
+
depends: [
20
+
"ocaml" {>= "4.14"}
21
+
"dune" {>= "3.17"}
22
+
"cmdliner"
23
+
"mtime" {>= "2.0"}
24
+
"fmt"
25
+
"logs"
26
+
"diffast-misc"
27
+
"diffast-core" {= version}
28
+
"diffast-api" {= version}
29
+
"diffast-git" {= version}
30
+
"diffast-etc"
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.2.tar.gz"
53
+
checksum: [
54
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
55
+
"md5=7404586197ede6a4f0a0d00a69069b37"
56
+
]
57
+
}