1 files changed, 4 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index aa57a554..d3a4cc4b 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,7 @@
+Coq development:
+- Updated the Flocq library to version 3.4.2.
+
+
 Release 3.9, 2021-05-10
 =======================