From e116e159dd6e63077300ff1719dfcaa140f630d9 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Thu, 7 Dec 2017 16:22:58 +0100
Subject: [PATCH] Version 0.88.2

---
 ROADMAP             | 5 +----
 Version             | 2 +-
 doc/manual.tex      | 2 +-
 opam/why3-base/opam | 1 +
 opam/why3/opam      | 2 +-
 5 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/ROADMAP b/ROADMAP
index bc9a15bb6..4e9a0b51f 100644
--- a/ROADMAP
+++ b/ROADMAP
@@ -121,7 +121,7 @@
 * check/update the content of the About dialog in src/ide/gconfig.ml
   around lines 550-600
 * check headers
-* check the file CHANGES, add the release date
+* check the file CHANGES.md, add the release date
 
 * generate documentation
  - update the date in doc/manual.tex (near \whyversion{})
@@ -158,9 +158,6 @@
  - make (to check validity)
  - make export
 
-* add a new version to the bugtracker:
-  https://gforge.inria.fr/tracker/admin/?group_id=2990&atid=10293&add_extrafield=1
-
 * The next commit : add +git to the version in file Version
 
 * prepare the OPAM package
diff --git a/Version b/Version
index 5cab4a37b..6de9915aa 100644
--- a/Version
+++ b/Version
@@ -1,2 +1,2 @@
 # Why version
-VERSION=0.88.1
+VERSION=0.88.2
diff --git a/doc/manual.tex b/doc/manual.tex
index 5ebc16370..19baeebaa 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -108,7 +108,7 @@
 %BEGIN LATEX
 \begin{LARGE}
 %END LATEX
-  Version \whyversion{}, November 2017
+  Version \whyversion{}, December 2017
 %BEGIN LATEX
 \end{LARGE}
 %END LATEX
diff --git a/opam/why3-base/opam b/opam/why3-base/opam
index 89c0d6118..0095421d6 100644
--- a/opam/why3-base/opam
+++ b/opam/why3-base/opam
@@ -62,4 +62,5 @@ conflicts: [
   "lablgtk" {< "2.14.2"}
   "ocamlgraph" {< "1.8.2"}
   "coq" {< "8.4"}
+  "coq" {>= "8.8"}
 ]
diff --git a/opam/why3/opam b/opam/why3/opam
index 86b773b72..ecc0d356e 100644
--- a/opam/why3/opam
+++ b/opam/why3/opam
@@ -23,7 +23,7 @@ tags: [
 ]
 available: [ ocaml-version >= "4.02.3" ]
 depends: [
-  "why3-base" { = "0.88.1" }
+  "why3-base" { = "0.88.2" }
   "lablgtk"
   "conf-gtksourceview"
   "zarith"
-- 
GitLab