this repo has no description
0
fork

Configure Feed

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

Merge pull request #27687 from codinuum/diffast-20250328

[new release] diffast 0.2 (part 4)

authored by

Marcello Seri and committed by
GitHub
a8a89f62 3e447b7c

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