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.1.1 (part 5) (#27525)

* [new release] diffast 0.1.1 (part 5)

* fix

* fix

* fix

* fix

authored by

codinuum and committed by
GitHub
deefef75 4472574d

+57
+57
packages/diffast-git-cli/diffast-git-cli.0.1.1/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" {= 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 + }