Update opam packages.

7491b9ec · Guillaume Melquiond · 656753ca · 7491b9ec · 7491b9ec
Commit 7491b9ec authored Feb 08, 2016 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

opam/why3-base/url opam/why3-base/url +2 -2

opam/why3/opam opam/why3/opam +1 -1

No files found.
--- a/opam/why3-base/url
+++ b/opam/why3-base/url
-archive: "https://gforge.inria.fr/frs/download.php/file/35214/why3-0.86.2.tar.gz"
-checksum: "ef0f4c133fc0da25a6b90adefddefa9a"
+archive: "https://gforge.inria.fr/frs/download.php/file/35537/why3-0.86.3.tar.gz"
+checksum: "910d5acca0082e94b8a86baf01600e03"
--- a/opam/why3/opam
+++ b/opam/why3/opam
@@ -19,7 +19,7 @@ tags: [
 ]
 available: [ ocaml-version >= "4.01.0" ]
 depends: [
-  "why3-base" { = "0.86.2" }
+  "why3-base" { = "0.86.3" }
  "lablgtk"
  "conf-gtksourceview"
  "zarith"