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 3) (#27685)

* [new release] diffast 0.2 (part 3)

* attempt to filtering opam-version

* revert

* attempt to adding implicit dependencies

* fix?

* again

* again

* a package removed

authored by

codinuum and committed by
GitHub
062eceee 251c7662

+275
+55
packages/diffast-langs-cpp/diffast-langs-cpp.0.2/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "C++/C parser plugin for Diff/AST" 4 + description: 5 + "C++/C parser plugin 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 + "conf-gmp" 20 + "conf-pkg-config" 21 + "conf-zlib" 22 + "dune" {>= "3.17"} 23 + "ocaml" {>= "4.14"} 24 + "dune-site" 25 + "diffast-misc" 26 + "diffast-core" {= version} 27 + "diffast-langs-cpp-parsing" {= version} 28 + "diffast-langs-cpp-spec" {= version} 29 + "vlt" {>= "0.2.4"} 30 + "odoc" {with-doc} 31 + ] 32 + build: [ 33 + ["dune" "subst"] {dev} 34 + [ 35 + "dune" 36 + "build" 37 + "-p" 38 + name 39 + "-j" 40 + jobs 41 + "--promote-install-files=false" 42 + "@install" 43 + "@runtest" {with-test} 44 + "@doc" {with-doc} 45 + ] 46 + ["dune" "install" "-p" name "--create-install-files" name] 47 + ] 48 + dev-repo: "git+https://github.com/codinuum/diffast.git" 49 + url { 50 + src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz" 51 + checksum: [ 52 + "sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab" 53 + "md5=7404586197ede6a4f0a0d00a69069b37" 54 + ] 55 + }
+55
packages/diffast-langs-fortran/diffast-langs-fortran.0.2/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "Fortran parser plugin for Diff/AST" 4 + description: 5 + "Fortran parser plugin 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 + "conf-gmp" 20 + "conf-pkg-config" 21 + "conf-zlib" 22 + "dune" {>= "3.17"} 23 + "ocaml" {>= "4.14"} 24 + "dune-site" 25 + "diffast-misc" 26 + "diffast-core" {= version} 27 + "diffast-langs-fortran-parsing" {= version} 28 + "diffast-langs-fortran-spec" {= version} 29 + "vlt" {>= "0.2.4"} 30 + "odoc" {with-doc} 31 + ] 32 + build: [ 33 + ["dune" "subst"] {dev} 34 + [ 35 + "dune" 36 + "build" 37 + "-p" 38 + name 39 + "-j" 40 + jobs 41 + "--promote-install-files=false" 42 + "@install" 43 + "@runtest" {with-test} 44 + "@doc" {with-doc} 45 + ] 46 + ["dune" "install" "-p" name "--create-install-files" name] 47 + ] 48 + dev-repo: "git+https://github.com/codinuum/diffast.git" 49 + url { 50 + src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz" 51 + checksum: [ 52 + "sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab" 53 + "md5=7404586197ede6a4f0a0d00a69069b37" 54 + ] 55 + }
+55
packages/diffast-langs-java/diffast-langs-java.0.2/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "Java parser plugin for Diff/AST" 4 + description: 5 + "Java parser plugin 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 + "conf-gmp" 20 + "conf-pkg-config" 21 + "conf-zlib" 22 + "dune" {>= "3.17"} 23 + "ocaml" {>= "4.14"} 24 + "dune-site" 25 + "diffast-misc" 26 + "diffast-core" {= version} 27 + "diffast-langs-java-parsing" {= version} 28 + "diffast-langs-java-spec" {= version} 29 + "vlt" {>= "0.2.4"} 30 + "odoc" {with-doc} 31 + ] 32 + build: [ 33 + ["dune" "subst"] {dev} 34 + [ 35 + "dune" 36 + "build" 37 + "-p" 38 + name 39 + "-j" 40 + jobs 41 + "--promote-install-files=false" 42 + "@install" 43 + "@runtest" {with-test} 44 + "@doc" {with-doc} 45 + ] 46 + ["dune" "install" "-p" name "--create-install-files" name] 47 + ] 48 + dev-repo: "git+https://github.com/codinuum/diffast.git" 49 + url { 50 + src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz" 51 + checksum: [ 52 + "sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab" 53 + "md5=7404586197ede6a4f0a0d00a69069b37" 54 + ] 55 + }
+55
packages/diffast-langs-python/diffast-langs-python.0.2/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "Python parser plugin for Diff/AST" 4 + description: 5 + "Python parser plugin 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 + "conf-gmp" 20 + "conf-pkg-config" 21 + "conf-zlib" 22 + "dune" {>= "3.17"} 23 + "ocaml" {>= "4.14"} 24 + "dune-site" 25 + "diffast-misc" 26 + "diffast-core" {= version} 27 + "diffast-langs-python-parsing" {= version} 28 + "diffast-langs-python-spec" {= version} 29 + "vlt" {>= "0.2.4"} 30 + "odoc" {with-doc} 31 + ] 32 + build: [ 33 + ["dune" "subst"] {dev} 34 + [ 35 + "dune" 36 + "build" 37 + "-p" 38 + name 39 + "-j" 40 + jobs 41 + "--promote-install-files=false" 42 + "@install" 43 + "@runtest" {with-test} 44 + "@doc" {with-doc} 45 + ] 46 + ["dune" "install" "-p" name "--create-install-files" name] 47 + ] 48 + dev-repo: "git+https://github.com/codinuum/diffast.git" 49 + url { 50 + src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz" 51 + checksum: [ 52 + "sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab" 53 + "md5=7404586197ede6a4f0a0d00a69069b37" 54 + ] 55 + }
+55
packages/diffast-langs-verilog/diffast-langs-verilog.0.2/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "Verilog parser plugin for Diff/AST" 4 + description: 5 + "Verilog parser plugin 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 + "conf-gmp" 20 + "conf-pkg-config" 21 + "conf-zlib" 22 + "dune" {>= "3.17"} 23 + "ocaml" {>= "4.14"} 24 + "dune-site" 25 + "diffast-misc" 26 + "diffast-core" {= version} 27 + "diffast-langs-verilog-parsing" {= version} 28 + "diffast-langs-verilog-spec" {= version} 29 + "vlt" {>= "0.2.4"} 30 + "odoc" {with-doc} 31 + ] 32 + build: [ 33 + ["dune" "subst"] {dev} 34 + [ 35 + "dune" 36 + "build" 37 + "-p" 38 + name 39 + "-j" 40 + jobs 41 + "--promote-install-files=false" 42 + "@install" 43 + "@runtest" {with-test} 44 + "@doc" {with-doc} 45 + ] 46 + ["dune" "install" "-p" name "--create-install-files" name] 47 + ] 48 + dev-repo: "git+https://github.com/codinuum/diffast.git" 49 + url { 50 + src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz" 51 + checksum: [ 52 + "sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab" 53 + "md5=7404586197ede6a4f0a0d00a69069b37" 54 + ] 55 + }