Upgrade locked opam dependencies

goblint · Jun 21, 2024 · 287bf59 · 287bf59
1 parent 195c61c
commit 287bf59
Show file tree

Hide file tree

Showing 2 changed files with 69 additions and 72 deletions.
diff --git a/goblint-http-server/api.ml b/goblint-http-server/api.ml
@@ -1,5 +1,6 @@
 open Batteries
 open State
+open Ppx_yojson_conv_lib.Yojson_conv.Primitives
 
 module type Request = sig
   val name: string

diff --git a/gobview.opam.locked b/gobview.opam.locked
@@ -13,125 +13,121 @@ license: "MIT"
 homepage: "https://github.com/goblint/gobview"
 bug-reports: "https://github.com/goblint/gobview/issues"
 depends: [
-  "angstrom" {= "0.15.0"}
+  "angstrom" {= "0.16.0"}
   "asn1-combinators" {= "0.2.6"}
   "astring" {= "0.8.5"}
-  "base" {= "v0.15.1"}
+  "base" {= "v0.16.3"}
   "base-bigarray" {= "base"}
   "base-bytes" {= "base"}
   "base-threads" {= "base"}
   "base-unix" {= "base"}
-  "base64" {= "3.5.0"}
-  "batteries" {= "3.6.0"}
-  "bigstringaf" {= "0.9.0"}
+  "base64" {= "3.5.1"}
+  "batteries" {= "3.8.0"}
+  "bigstringaf" {= "0.9.1"}
   "bos" {= "0.2.1"}
   "ca-certs" {= "0.2.3"}
   "camlp-streams" {= "5.0.1"}
-  "cmdliner" {= "1.1.1"}
-  "cohttp" {= "5.0.0"}
-  "cohttp-lwt" {= "5.0.0"}
-  "cohttp-lwt-unix" {= "5.0.0"}
-  "cohttp-server-lwt-unix" {= "6.0.0~alpha1"}
-  "conduit" {= "6.2.0"}
-  "conduit-lwt" {= "6.2.0"}
-  "conduit-lwt-unix" {= "6.2.0"}
+  "cmdliner" {= "1.3.0"}
+  "cohttp" {= "5.3.1"}
+  "cohttp-lwt" {= "5.3.0"}
+  "cohttp-lwt-unix" {= "5.3.0"}
+  "cohttp-server-lwt-unix" {= "6.0.0~beta2"}
+  "conduit" {= "6.2.3"}
+  "conduit-lwt" {= "6.2.3"}
+  "conduit-lwt-unix" {= "6.2.3"}
+  "conf-bash" {= "1"}
   "conf-gcc" {= "1.0"}
   "conf-gmp" {= "4"}
   "conf-gmp-powm-sec" {= "3"}
   "conf-perl" {= "2"}
-  "conf-pkg-config" {= "2"}
   "cppo" {= "1.6.9"}
-  "csexp" {= "1.5.1"}
-  "cstruct" {= "6.1.1"}
+  "crunch" {= "3.3.1" & with-doc}
+  "csexp" {= "1.5.2"}
+  "cstruct" {= "6.2.0"}
   "ctypes_stubs_js" {= "0.1"}
   "domain-name" {= "0.4.0"}
-  "dune" {= "3.7.1"}
-  "dune-build-info" {= "3.7.1"}
-  "dune-configurator" {= "3.7.1"}
+  "dune" {= "3.16.0"}
+  "dune-build-info" {= "3.16.0"}
+  "dune-configurator" {= "3.16.0"}
   "duration" {= "0.2.1"}
-  "either" {= "1.0.0" & dev}
   "eqaf" {= "0.9"}
   "fileutils" {= "0.6.4"}
-  "fix" {= "20220121"}
+  "fix" {= "20230505"}
   "fmt" {= "0.9.0"}
   "fpath" {= "0.7.3"}
-  "gen_js_api" {= "1.0.9"}
+  "gen" {= "1.1"}
+  "gen_js_api" {= "1.1.2"}
   "gmap" {= "0.3.0"}
   "goblint-cil" {= "2.0.3"}
-  "http" {= "6.0.0~alpha1"}
+  "http" {= "6.0.0~beta2"}
   "integers_stubs_js" {= "1.0"}
-  "ipaddr" {= "5.3.1"}
-  "ipaddr-sexp" {= "5.3.1"}
-  "js_of_ocaml" {= "4.1.0"}
-  "js_of_ocaml-compiler" {= "4.1.0"}
-  "js_of_ocaml-lwt" {= "4.1.0"}
-  "js_of_ocaml-ppx" {= "4.1.0"}
-  "jsonm" {= "1.0.1"}
-  "jsonrpc" {= "1.15.0~5.0preview1"}
+  "ipaddr" {= "5.6.0"}
+  "ipaddr-sexp" {= "5.6.0"}
+  "js_of_ocaml" {= "5.8.2"}
+  "js_of_ocaml-compiler" {= "5.8.2"}
+  "js_of_ocaml-lwt" {= "5.8.2"}
+  "js_of_ocaml-ppx" {= "5.8.2"}
+  "jsonm" {= "1.0.2"}
+  "jsonrpc" {= "1.17.0"}
   "jsoo-react" {= "0.1"}
   "logs" {= "0.7.0"}
-  "lwt" {= "5.6.1"}
+  "lwt" {= "5.7.0"}
   "lwt_ppx" {= "2.1.0"}
-  "macaddr" {= "5.3.1"}
-  "magic-mime" {= "1.3.0"}
-  "menhir" {= "20220210"}
-  "menhirLib" {= "20220210"}
-  "menhirSdk" {= "20220210"}
+  "macaddr" {= "5.6.0"}
+  "magic-mime" {= "1.3.1"}
+  "menhir" {= "20231231"}
+  "menhirCST" {= "20231231"}
+  "menhirLib" {= "20231231"}
+  "menhirSdk" {= "20231231"}
   "merlin-extend" {= "0.6.1"}
-  "mirage-crypto" {= "0.11.1"}
-  "mirage-crypto-ec" {= "0.11.1"}
-  "mirage-crypto-pk" {= "0.11.1"}
-  "mirage-crypto-rng" {= "0.11.1"}
-  "num" {= "1.4"}
+  "mirage-crypto" {= "0.11.3"}
+  "mirage-crypto-ec" {= "0.11.3"}
+  "mirage-crypto-pk" {= "0.11.3"}
+  "mirage-crypto-rng" {= "0.11.3"}
+  "num" {= "1.5"}
   "ocaml" {= "4.14.0"}
   "ocaml-compiler-libs" {= "v0.12.4"}
   "ocaml-config" {= "2"}
   "ocaml-option-flambda" {= "1"}
   "ocaml-syntax-shims" {= "1.0.0"}
   "ocaml-variants" {= "4.14.0+options"}
-  "ocaml-version" {= "3.5.0" & dev}
-  "ocamlbuild" {= "0.14.2"}
-  "ocamlfind" {= "1.9.5"}
-  "ocamlformat" {= "0.24.1" & dev}
-  "ocp-indent" {= "1.8.1" & dev}
+  "ocamlbuild" {= "0.14.3"}
+  "ocamlfind" {= "1.9.6"}
   "ocplib-endian" {= "1.2"}
   "octavius" {= "1.2.2"}
-  "odoc" {= "2.2.0" & with-doc}
-  "odoc-parser" {= "2.0.0" & dev}
-  "ojs" {= "1.1.1"}
-  "parsexp" {= "v0.15.0"}
+  "odoc" {= "2.4.2" & with-doc}
+  "odoc-parser" {= "2.4.2" & with-doc}
+  "ojs" {= "1.1.2"}
+  "parsexp" {= "v0.16.0"}
   "pbkdf" {= "1.2.0"}
   "ppx_derivers" {= "1.2.1"}
   "ppx_deriving" {= "6.0.2"}
-  "ppx_deriving_yojson" {= "3.7.0"}
-  "ppx_js_style" {= "v0.15.0"}
-  "ppx_sexp_conv" {= "v0.15.1"}
-  "ppx_yojson_conv" {= "v0.15.1"}
-  "ppx_yojson_conv_lib" {= "v0.15.0"}
+  "ppx_deriving_yojson" {= "3.8.0"}
+  "ppx_js_style" {= "v0.16.0"}
+  "ppx_sexp_conv" {= "v0.16.0"}
+  "ppx_yojson_conv" {= "v0.16.0"}
+  "ppx_yojson_conv_lib" {= "v0.16.0"}
   "ppxlib" {= "0.32.1"}
   "ptime" {= "1.1.0"}
-  "re" {= "1.10.4"}
-  "reason" {= "3.8.2"}
-  "result" {= "1.5"}
+  "re" {= "1.11.0"}
+  "reason" {= "3.11.0"}
+  "result" {= "1.5" & with-doc}
   "rresult" {= "0.7.0"}
+  "sedlex" {= "3.2"}
   "seq" {= "base"}
-  "sexplib" {= "v0.15.1"}
-  "sexplib0" {= "v0.15.1"}
-  "stdio" {= "v0.15.0" & dev}
+  "sexplib" {= "v0.16.0"}
+  "sexplib0" {= "v0.16.0"}
   "stdlib-shims" {= "0.3.0"}
   "stringext" {= "1.6.0"}
-  "topkg" {= "1.0.6"}
-  "tyxml" {= "4.5.0" & with-doc}
-  "uchar" {= "0.0.2"}
-  "uri" {= "4.2.0"}
-  "uri-sexp" {= "4.2.0"}
-  "uucp" {= "15.0.0" & dev}
-  "uuseg" {= "15.0.0" & dev}
+  "topkg" {= "1.0.7"}
+  "tyxml" {= "4.6.0" & with-doc}
+  "uri" {= "4.4.0"}
+  "uri-sexp" {= "4.4.0"}
   "uutf" {= "1.0.3"}
-  "x509" {= "0.16.4"}
-  "yojson" {= "2.0.2"}
+  "x509" {= "0.16.5"}
+  "yojson" {= "2.2.1"}
   "zarith" {= "1.12-gob0"}
-  "zarith_stubs_js" {= "v0.15.0"}
+  "zarith_stubs_js" {= "v0.16.1"}
 ]
 conflicts: ["mtime"]
 build: [