Fix opam file.

3d4dc823 · Guillaume Melquiond · e112153a · 3d4dc823
Commit 3d4dc823 authored Jun 25, 2018 by Guillaume Melquiond
--- a/why3.opam/opam
+++ b/why3.opam/opam
@@ -50,7 +50,7 @@ build-doc: [

 depends: [
  "ocamlfind" {build}
-  "menhir" {>= 20150629}
+  "menhir" {>= "20151112"}
  "num"
 ]

@@ -61,5 +61,6 @@ depopts: [
 ]

 conflicts: [
+  "why3-base"
  "ocamlgraph" {< "1.8.2"}
 ]