this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Python parser CLI"
4maintainer: [
5 "Codinuum <codinuum@me.com>"
6 "Masatomo Hashimoto <m.hashimoto@stair.center>"
7]
8authors: [
9 "Codinuum <codinuum@me.com>"
10 "Masatomo Hashimoto <m.hashimoto@stair.center>"
11]
12license: "Apache-2.0"
13homepage: "https://github.com/codinuum/diffast"
14doc: "https://github.com/codinuum/diffast/README.md"
15bug-reports: "https://github.com/codinuum/diffast/issues"
16available: os != "win32"
17depends: [
18 "dune" {>= "3.17"}
19 "ocaml" {>= "4.14"}
20 "diffast-misc"
21 "diffast-langs-python-parsing" {= version}
22 "diffast-etc"
23 "odoc" {with-doc}
24]
25build: [
26 ["dune" "subst"] {dev}
27 [
28 "dune"
29 "build"
30 "-p"
31 name
32 "-j"
33 jobs
34 "--promote-install-files=false"
35 "@install"
36 "@runtest" {with-test}
37 "@doc" {with-doc}
38 ]
39 ["dune" "install" "-p" name "--create-install-files" name]
40]
41dev-repo: "git+https://github.com/codinuum/diffast.git"
42url {
43 src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
44 checksum: [
45 "sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
46 "md5=7404586197ede6a4f0a0d00a69069b37"
47 ]
48}