diff --git a/CHANGES.md b/CHANGES.md
index 967f29a185e9a4483998247280c68e1cc29cf658..00749518a66ac1e89b071f1dab5a9a4c8a93f3f0 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
 --------------------------------