this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

[new release] diffast 0.2 (part 5) (#27692)

* [new release] diffast 0.2 (part 5)

* fix?

* another attempt

* revert

* revert

* revert

authored by

codinuum and committed by
GitHub
35ebc75e 08614d37

+52
+52
packages/diffast-git/diffast-git.0.2/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "Git functions for Diff/AST API" 4 + description: 5 + "Git functions for Diff/AST API. 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 + "conf-gmp" 20 + "conf-pkg-config" 21 + "conf-zlib" 22 + "ocaml" {>= "4.14"} 23 + "dune" {>= "3.17"} 24 + "git-unix" {>= "3.17"} 25 + "diffast-misc" 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.2.tar.gz" 48 + checksum: [ 49 + "sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab" 50 + "md5=7404586197ede6a4f0a0d00a69069b37" 51 + ] 52 + }