From 9d26e4271e52e5c318bce8e3c187d0baade3c2b4 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sat, 23 Jun 2018 08:59:58 +0200
Subject: [PATCH] Mention opam changes.

---
 CHANGES.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 967f29a18..00749518a 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -58,6 +58,9 @@ Provers
   * removed the `why3` Coq tactic :x:
   * dropped support for Coq 8.4 :x:
 
+Miscellaneous
+  * moved the opam base package to `why3`; added `why3-ide` and `why3-coq`
+
 Version 0.88.3, January 11, 2018
 --------------------------------
 
-- 
GitLab