Merge pull request #1066 from arnaudgolfouse/update-why3

Update why3's version
creusot-rs · Aug 13, 2024 · 27394bf · 27394bf
2 parents f75d57e + d9f0489
commit 27394bf
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-6d61"}
-  "why3-ide" {= "git-6d61" & !?in-creusot-ci}
+  "why3" {= "git-40a7"}
+  "why3-ide" {= "git-40a7" & !?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-6d61" "git+https://gitlab.inria.fr/why3/why3.git#6d615e178" ]
-  [ "why3-ide.git-6d61" "git+https://gitlab.inria.fr/why3/why3.git#6d615e178" ]
+  [ "why3.git-40a7" "git+https://gitlab.inria.fr/why3/why3.git#40a7b4fc" ]
+  [ "why3-ide.git-40a7" "git+https://gitlab.inria.fr/why3/why3.git#40a7b4fc" ]
 ]