[coq] Add changes for ocaml#5867

Signed-off-by: Emilio Jesus Gallego Arias <e+git@x80.org>
ejgallego · Jun 12, 2022 · fbfa966 · fbfa966
1 parent eb4788d
commit fbfa966
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -25,6 +25,9 @@ Unreleased
   build the HTML and LaTeX documentation repsectively. (#5695, fixes #3760,
   @Alizter)
 
+- Coq theories marked as `(boot)` cannot depend on other theories
+  (#5867, @ejgallego)
+
 3.2.0 (17-05-2022)
 ------------------