Merge pull request #17858 from MinaProtocol/lyh/bump-opam-export

bump various dependencies to fix nix build test

Author: glyh

README-dev.md

@@ -150,7 +150,7 @@ A number of C libraries are expected to be available in the system and are also
 If you use vim, add this snippet in your `.vimrc` file to use Merlin. (Note:Be sure to change the HOME directory to match yours.)
 
 ```bash
-let s:ocamlmerlin="/Users/USERNAME/.opam/4.14.0/share/merlin"
+let s:ocamlmerlin="/Users/USERNAME/.opam/4.14.2/share/merlin"
 execute "set rtp+=".s:ocamlmerlin."/vim"
 execute "set rtp+=".s:ocamlmerlin."/vimbufsync"
 let g:syntastic_ocaml_checkers=['merlin']
@@ -301,10 +301,10 @@ We use the [Dune](https://github.com/ocaml/dune/) build system for OCaml code.
 
 OCaml dependencies live in the [`opam.export`](./opam.export) file. This file is machine generated and must not be modified.
 
-To add a new dependency, you most likely will need to create a new fresh switch to avoid pushing in any local dependency (like `ocaml-lsp`). The following commands assume that the version of the OCaml compiler used in the codebase is 4.14.0:
+To add a new dependency, you most likely will need to create a new fresh switch to avoid pushing in any local dependency (like `ocaml-lsp`). The following commands assume that the version of the OCaml compiler used in the codebase is 4.14.2:
 
 ```shell
-opam switch create mina_fresh 4.14.0
+opam switch create mina_fresh 4.14.2
 opam switch import opam.export
 ```
 

buildkite/Makefile

@@ -5,9 +5,11 @@ check_syntax:
 	find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{}" &&  dhall --file {} > /dev/null || exit 255'
 
 check_lint:
+	@echo "Dhall version: $$(dhall --version)"
 	find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{}" && dhall --ascii lint --check --inplace {} || exit 255'
 
 check_format:
+	@echo "Dhall version: $$(dhall --version)"
 	find ./src/ -name "*.dhall" -print0 | xargs -I{} -0 -n1 bash -c 'echo "{} format" && dhall --ascii format --check --inplace {} || exit 255'
 
 lint:

buildkite/src/Constants/ContainerImages.dhall

@@ -4,23 +4,23 @@
 -- NOTE: minaToolchainBookworm is also used for building Ubuntu Jammy packages in CI
 { toolchainBase = "codaprotocol/ci-toolchain-base:v3"
 , minaToolchainBookworm =
-    { arm64 =
-        "gcr.io/o1labs-192920/mina-toolchain@sha256:a3cb75816eb1969b23633002eaf60d029ceb57ef6c948457a6860ba89ebc0d11"
-    , amd64 =
-        "gcr.io/o1labs-192920/mina-toolchain@sha256:94cd586905888a36c2340abf92edae991ffce4006285e6ce034129d0e33ab396"
+    { amd64 =
+        "gcr.io/o1labs-192920/mina-toolchain@sha256:0c2764790ae18788b97a9c6361d7c4b0a96c515d176226868d929415e24f8251"
+    , arm64 =
+        "gcr.io/o1labs-192920/mina-toolchain@sha256:deb63964399029d681e39ac4ff529616b179c72fff3a0ab350e11a7099f6f23d"
     }
 , minaToolchainBullseye.amd64 =
-    "gcr.io/o1labs-192920/mina-toolchain@sha256:29998364d3130215501f085ba4d99a3fc2474d1975eef67b67af8b7e65e0f01f"
+    "gcr.io/o1labs-192920/mina-toolchain@sha256:db00940ea2c778592a520da755388014231db52aa2d89e0c853abfafc4fa5846"
 , minaToolchainNoble =
-    { arm64 =
-        "gcr.io/o1labs-192920/mina-toolchain@sha256:4c0dc9e90fd5919e91d8228bff76e205b5fa83d32723f305fca062480dd77080"
-    , amd64 =
-        "gcr.io/o1labs-192920/mina-toolchain@sha256:be93e47598f24b2c364a52bb0546eecf60eab146084b2b6ab373bfb7ef066c0e"
+    { amd64 =
+        "gcr.io/o1labs-192920/mina-toolchain@sha256:669c4053d2f3b7ecf5787b9dc0d908b7061c8a8908dcc766c4de57bcd1c67fa1"
+    , arm64 =
+        "gcr.io/o1labs-192920/mina-toolchain@sha256:2a71e234ca0cc42a663e42daabef3736207fd91bac414b2d511b30b336529b74"
     }
 , minaToolchainJammy.amd64 =
-    "gcr.io/o1labs-192920/mina-toolchain@sha256:4fe3d9a17af3177f1e4c549a0c014fc4ef376731848dbb6066cc2a7413b75c5a"
+    "gcr.io/o1labs-192920/mina-toolchain@sha256:b16023b65bb90fc2242c83b7c9f3f3c62aca521f316a16a45f5f7cb115e95f15"
 , minaToolchain =
-    "gcr.io/o1labs-192920/mina-toolchain@sha256:29998364d3130215501f085ba4d99a3fc2474d1975eef67b67af8b7e65e0f01f"
+    "gcr.io/o1labs-192920/mina-toolchain@sha256:db00940ea2c778592a520da755388014231db52aa2d89e0c853abfafc4fa5846"
 , postgres = "postgres:12.4-alpine"
 , xrefcheck =
     "dkhamsing/awesome_bot@sha256:a8adaeb3b3bd5745304743e4d8a6d512127646e420544a6d22d9f58a07f35884"

opam.export

@@ -48,8 +48,8 @@ roots: [
   "qcheck.0.20"
   "qcheck-alcotest.0.20"
   "re2.v0.14.0"
-  "rocks.0.1.1"
-  "rocksdb_stubs.5.17.2"
+  "rocks.0.2.0"
+  "rocksdb_stubs.10.2.1"
   "rpc_parallel.v0.14.0"
   "sexp_diff_kernel.v0.14.0"
   "sodium.dev"
@@ -180,7 +180,7 @@ installed: [
   "num.1.1"
   "ocaml.4.14.2"
   "ocaml-base-compiler.4.14.2"
-  "ocaml-compiler-libs.v0.12.3"
+  "ocaml-compiler-libs.v0.12.4"
   "ocaml-config.2"
   "ocaml-migrate-parsetree.2.3.0"
   "ocaml-options-vanilla.1"
@@ -249,8 +249,8 @@ installed: [
   "react.1.2.1"
   "res.5.0.1"
   "result.1.5"
-  "rocks.0.1.1"
-  "rocksdb_stubs.5.17.2"
+  "rocks.0.2.0"
+  "rocksdb_stubs.10.2.1"
   "rpc_parallel.v0.14.0"
   "rresult.0.6.0"
   "seq.base"