Merge pull request #1036 from creusot-rs/update-why3

Update coma branch

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-6736"}
-  "why3-ide" {= "git-6736" & !?in-creusot-ci}
+  "why3" {= "git-6d61"}
+  "why3-ide" {= "git-6d61" & !?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-6736" "git+https://gitlab.inria.fr/why3/why3.git#67362b1" ]
-  [ "why3-ide.git-6736" "git+https://gitlab.inria.fr/why3/why3.git#67362b1" ]
+  [ "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" ]
 ]