update the lock file

rethfl.opam.locked

@@ -1,13 +1,15 @@
 opam-version: "2.0"
 name: "rethfl"
-version: "0.1"
+version: "0.2"
 synopsis: "A nuHFLZ solver based on refinement types"
-maintainer: "katsura@kb.is.s.u-tokyo.ac.jp"
+maintainer:
+  "Hiroyuki Katsura <katsura@kb.is.s.u-tokyo.ac.jp>, Ken Sakayori <sakayori@kb.is.s.u-tokyo.ac.jp>"
 authors: ["katsura" "Hogeyama"]
 license: "Apache-2.0"
 homepage: "https://github.com/hopv/rethfl"
 bug-reports: "https://github.com/hopv/rethfl/issues"
 depends: [
+  "astring" {= "0.8.5" & with-doc}
   "base" {= "v0.16.3"}
   "base-bigarray" {= "base"}
   "base-bytes" {= "base"}
@@ -16,35 +18,44 @@ depends: [
   "base_bigstring" {= "v0.16.0"}
   "base_quickcheck" {= "v0.16.0"}
   "bin_prot" {= "v0.16.0"}
-  "cmdliner" {= "1.2.0"}
+  "camlp-streams" {= "5.0.1" & with-doc}
+  "cmdliner" {= "1.3.0"}
+  "conf-bash" {= "1"}
   "core" {= "v0.16.2"}
   "core_kernel" {= "v0.16.0"}
   "core_unix" {= "v0.16.0"}
-  "cppo" {= "1.6.9"}
+  "cppo" {= "1.7.0"}
+  "crunch" {= "3.3.1" & with-doc}
   "csexp" {= "1.5.2"}
-  "dune" {= "3.13.0"}
-  "dune-configurator" {= "3.13.0"}
+  "dune" {= "3.16.0"}
+  "dune-configurator" {= "3.16.0"}
   "expect_test_helpers_core" {= "v0.16.0"}
   "fieldslib" {= "v0.16.0"}
   "fmt" {= "0.9.0"}
+  "fpath" {= "0.7.3" & with-doc}
+  "host-arch-x86_64" {= "1"}
+  "host-system-other" {= "1"}
   "int_repr" {= "v0.16.0"}
   "jane-street-headers" {= "v0.16.0"}
   "jst-config" {= "v0.16.0"}
   "logs" {= "0.7.0"}
   "lwt" {= "5.7.0"}
-  "menhir" {= "20231231"}
-  "menhirCST" {= "20231231"}
-  "menhirLib" {= "20231231"}
-  "menhirSdk" {= "20231231"}
-  "num" {= "1.5"}
-  "ocaml" {= "4.14.1"}
+  "menhir" {= "20240715"}
+  "menhirCST" {= "20240715"}
+  "menhirLib" {= "20240715"}
+  "menhirSdk" {= "20240715"}
+  "num" {= "1.5-1"}
+  "ocaml" {= "4.14.2"}
+  "ocaml-base-compiler" {= "4.14.2"}
   "ocaml-compiler-libs" {= "v0.12.4"}
   "ocaml-config" {= "2"}
-  "ocaml-system" {= "4.14.1"}
-  "ocaml_intrinsics" {= "v0.16.0"}
-  "ocamlbuild" {= "0.14.3"}
+  "ocaml-options-vanilla" {= "1"}
+  "ocaml_intrinsics" {= "v0.16.1"}
+  "ocamlbuild" {= "0.15.0"}
   "ocamlfind" {= "1.9.6"}
   "ocplib-endian" {= "1.2"}
+  "odoc" {= "2.4.2" & with-doc}
+  "odoc-parser" {= "2.4.2" & with-doc}
   "parsexp" {= "v0.16.0"}
   "ppx_assert" {= "v0.16.0"}
   "ppx_base" {= "v0.16.0"}
@@ -54,7 +65,7 @@ depends: [
   "ppx_compare" {= "v0.16.0"}
   "ppx_custom_printf" {= "v0.16.0"}
   "ppx_derivers" {= "1.2.1"}
-  "ppx_deriving" {= "5.2.1"}
+  "ppx_deriving" {= "6.0.2"}
   "ppx_deriving_cmdliner" {= "dev"}
   "ppx_disable_unused_warnings" {= "v0.16.0"}
   "ppx_enumerate" {= "v0.16.0"}
@@ -82,8 +93,9 @@ depends: [
   "ppx_tydi" {= "v0.16.0"}
   "ppx_typerep_conv" {= "v0.16.0"}
   "ppx_variants_conv" {= "v0.16.0"}
-  "ppxlib" {= "0.31.0"}
-  "re" {= "1.11.0"}
+  "ppxlib" {= "0.33.0"}
+  "ptime" {= "1.1.0" & with-doc}
+  "re" {= "1.12.0"}
   "result" {= "1.5"}
   "seq" {= "base"}
   "sexp_pretty" {= "v0.16.0"}
@@ -97,6 +109,8 @@ depends: [
   "timezone" {= "v0.16.0"}
   "topkg" {= "1.0.7"}
   "typerep" {= "v0.16.0"}
+  "tyxml" {= "4.6.0" & with-doc}
+  "uutf" {= "1.0.3" & with-doc}
   "variantslib" {= "v0.16.0"}
 ]
 build: [