versions updated

codinuum · codinuum · commit 1ed0209581c3 · 2025-11-12T10:25:29.000+09:00
diff --git a/Dockerfile b/Dockerfile
@@ -25,8 +25,8 @@ RUN set -x && \
     opam init -y --disable-sandboxing --bare && \
     eval $(opam env) && \
     opam update && \
-    opam switch create 5.3.0+flambda ocaml-variants.5.3.0+options ocaml-option-flambda && \
-    eval $(opam env --switch=5.3.0+flambda) && \
+    opam switch create 5.4.0+flambda ocaml-variants.5.4.0+options ocaml-option-flambda && \
+    eval $(opam env --switch=5.4.0+flambda) && \
     echo 'test -r /root/.opam/opam-init/init.sh && . /root/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true' >> .bashrc && \
     echo 'export PATH=/opt/cca/bin:${PATH}' >> .bashrc
 
diff --git a/dune-project b/dune-project
@@ -4,7 +4,7 @@
 (using menhir 3.0)
 
 (name diffast)
-(version 0.3.6-dev)
+(version 0.3.6)
 
 (generate_opam_files true)
 (opam_file_location inside_opam_directory)
diff --git a/opam/diffast-api.opam b/opam/diffast-api.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Diff/AST API"
 description:
   "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."
diff --git a/opam/diffast-cli.opam b/opam/diffast-cli.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Diff/AST command line interface"
 description:
   "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."
diff --git a/opam/diffast-core.opam b/opam/diffast-core.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Core functions of Diff/AST"
 description:
   "Core functions of 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."
diff --git a/opam/diffast-etc.opam b/opam/diffast-etc.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Diff/AST etc files"
 description:
   "Config files 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."
diff --git a/opam/diffast-git-cli.opam b/opam/diffast-git-cli.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Git-Diff/AST command line interface"
 description:
   "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."
diff --git a/opam/diffast-git.opam b/opam/diffast-git.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Git functions for Diff/AST API"
 description:
   "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."
diff --git a/opam/diffast-langs-astml-spec.opam b/opam/diffast-langs-astml-spec.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "ASTML parser spec for Diff/AST"
 description:
   "ASTML parser spec 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."
diff --git a/opam/diffast-langs-astml.opam b/opam/diffast-langs-astml.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "ASTML parser for Diff/AST"
 description:
   "ASTML 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."
diff --git a/opam/diffast-langs-common.opam b/opam/diffast-langs-common.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Common functions for parsers of Diff/AST"
 description:
   "Common functions for parsers of 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."
diff --git a/opam/diffast-langs-cpp-parsing-cli.opam b/opam/diffast-langs-cpp-parsing-cli.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "C/C++ parser CLI"
 maintainer: [
   "Codinuum <codinuum@me.com>"
diff --git a/opam/diffast-langs-cpp-parsing.opam b/opam/diffast-langs-cpp-parsing.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "C++/C parser for Diff/AST"
 description:
   "C++/C parser 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."
diff --git a/opam/diffast-langs-cpp-spec.opam b/opam/diffast-langs-cpp-spec.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "C/C++ parser spec for Diff/AST"
 description:
   "C/C++ parser specification 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."
diff --git a/opam/diffast-langs-cpp.opam b/opam/diffast-langs-cpp.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "C++/C parser plugin for Diff/AST"
 description:
   "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."
diff --git a/opam/diffast-langs-fortran-parsing-cli.opam b/opam/diffast-langs-fortran-parsing-cli.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Fortran parser CLI"
 maintainer: [
   "Codinuum <codinuum@me.com>"
diff --git a/opam/diffast-langs-fortran-parsing.opam b/opam/diffast-langs-fortran-parsing.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Fortran parser for Diff/AST"
 description:
   "Fortran parser 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."
diff --git a/opam/diffast-langs-fortran-spec.opam b/opam/diffast-langs-fortran-spec.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Fortran parser spec for Diff/AST"
 description:
   "Fortran parser specification 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."
diff --git a/opam/diffast-langs-fortran.opam b/opam/diffast-langs-fortran.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Fortran parser plugin for Diff/AST"
 description:
   "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."
diff --git a/opam/diffast-langs-java-parsing-cli.opam b/opam/diffast-langs-java-parsing-cli.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Java parser CLI"
 maintainer: [
   "Codinuum <codinuum@me.com>"
diff --git a/opam/diffast-langs-java-parsing.opam b/opam/diffast-langs-java-parsing.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Java parser for Diff/AST"
 description:
   "Java parser 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."
diff --git a/opam/diffast-langs-java-spec.opam b/opam/diffast-langs-java-spec.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Java parser spec for Diff/AST"
 description:
   "Java parser specification 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."
diff --git a/opam/diffast-langs-java.opam b/opam/diffast-langs-java.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Java parser plugin for Diff/AST"
 description:
   "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."
diff --git a/opam/diffast-langs-python-parsing-cli.opam b/opam/diffast-langs-python-parsing-cli.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Python parser CLI"
 maintainer: [
   "Codinuum <codinuum@me.com>"
diff --git a/opam/diffast-langs-python-parsing.opam b/opam/diffast-langs-python-parsing.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Python parser for Diff/AST"
 description:
   "Python parser 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."
diff --git a/opam/diffast-langs-python-spec.opam b/opam/diffast-langs-python-spec.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Python parser spec for Diff/AST"
 description:
   "Python parser specification 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."
diff --git a/opam/diffast-langs-python.opam b/opam/diffast-langs-python.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Python parser plugin for Diff/AST"
 description:
   "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."
diff --git a/opam/diffast-langs-verilog-parsing-cli.opam b/opam/diffast-langs-verilog-parsing-cli.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Verilog parser CLI"
 maintainer: [
   "Codinuum <codinuum@me.com>"
diff --git a/opam/diffast-langs-verilog-parsing.opam b/opam/diffast-langs-verilog-parsing.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Verilog parser for Diff/AST"
 description:
   "Verilog parser 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."
diff --git a/opam/diffast-langs-verilog-spec.opam b/opam/diffast-langs-verilog-spec.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Verilog parser spec for Diff/AST"
 description:
   "Verilog parser specification 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."
diff --git a/opam/diffast-langs-verilog.opam b/opam/diffast-langs-verilog.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Verilog parser plugin for Diff/AST"
 description:
   "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."
diff --git a/opam/diffast-misc.opam b/opam/diffast-misc.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Miscellaneous functions for Diff/AST"
 description:
   "Miscellaneous functions such as input/output functions 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."
diff --git a/opam/diffast.opam b/opam/diffast.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.6-dev"
+version: "0.3.6"
 synopsis: "Diff/AST: A fine-grained source code differencing tool"
 description:
   "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."
