Upgrade deps

drewolson · Jan 26, 2024 · 9538f67 · 9538f67
1 parent f9657ad
commit 9538f67
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/aoc.opam.locked b/aoc.opam.locked
@@ -13,16 +13,16 @@ depends: [
   "core_bench" {= "v0.16.0"}
   "core_kernel" {= "v0.16.0"}
   "core_unix" {= "v0.16.0"}
-  "dune" {= "3.12.2"}
+  "dune" {= "3.13.0"}
   "ocaml" {= "5.1.1"}
   "ocaml-lsp-server" {= "1.17.0"}
   "ocamlformat" {= "0.26.1"}
   "odig" {= "0.0.9"}
-  "odoc" {= "2.4.0"}
+  "odoc" {= "2.4.1"}
   "pcre" {= "7.5.0"}
   "ppx_jane" {= "v0.16.0"}
   "utop" {= "2.13.1"}
-  "z3" {= "4.12.4"}
+  "z3" {= "4.12.5"}
   "zarith" {= "1.13"}
 ]
 build: [