final session update

creusot-rs · May 23, 2024 · 6c6bda9 · 6c6bda9
1 parent c212b23
commit 6c6bda9
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/creusot-deps.opam b/creusot-deps.opam
@@ -4,8 +4,8 @@ opam-version: "2.0"
 maintainer: "Armaël Guéneau <[email protected]>"
 authors: "the creusot authors"
 depends: [
-  "why3" {= "git-945f"}
-  "why3-ide" {= "git-945f" & !?in-creusot-ci}
+  "why3" {= "git-39f7"}
+  "why3-ide" {= "git-39f7" & !?in-creusot-ci}
 # optional dependencies of why3
   "ocamlgraph"
   "camlzip"
@@ -16,6 +16,6 @@ depends: [
 # When updating the hash and git-XXX below, don't forget to update them in the
 # depends: field above!
 pin-depends: [
-  [ "why3.git-945f" "git+https://gitlab.inria.fr/why3/why3.git#945faa8c552" ]
-  [ "why3-ide.git-945f" "git+https://gitlab.inria.fr/why3/why3.git#945faa8c552" ]
+  [ "why3.git-39f7" "git+https://gitlab.inria.fr/why3/why3.git#39f7bcf37" ]
+  [ "why3-ide.git-39f7" "git+https://gitlab.inria.fr/why3/why3.git#39f7bcf37" ]
 ]