1 files changed, 1 insertions, 1 deletions
diff --git a/Changelog b/Changelog
index f0cc7ac9..7690630b 100644
--- a/Changelog
+++ b/Changelog
@@ -34,7 +34,7 @@ Bug fixes:
 
 Coq development:
 - Updated the Flocq library to version 4.1.
-- Support for Coq 8.14.1, 8.15.0, 8.15.1.
+- Support for Coq 8.14.1, 8.15.0, 8.15.1, 8.15.2.
 - Minimal Coq version supported is now 8.12.0.