diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2c9ae59..b2173c5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,18 @@
 
 ## Added
 
+## Changed
+
+## Deprecated
+
+## Fixed
+
+## Removed
+
+# 0.5.0 (2024/12/09)
+
+## Added
+
 - Lemmas: `fset_eqP` `fset_eq0E` `domm_filter_eq` `fperm1V` `eq_in_fmap`
   `fdisjointSr`
 
@@ -21,10 +33,6 @@
 
 - `fdisjoint_trans` in favor of `fdisjointSl`.
 
-## Fixed
-
-## Removed
-
 # 0.4.0 (2023/09/25)
 
 ## Added
diff --git a/README.md b/README.md
index 5702038..244095e 100644
--- a/README.md
+++ b/README.md
@@ -75,8 +75,8 @@ After installing OPAM and adding the Coq archive, run:
 Alternatively, you can compile the package by hand.  You'll need the following
 dependencies:
 
-- Coq v8.17 -- v8.18
-- [Ssreflect][2] v2.0 (`coq-mathcomp-ssreflect` on OPAM).
+- Coq v8.17 -- v8.20
+- [Ssreflect][2] v2.0 -- v2.3 (`coq-mathcomp-ssreflect` on OPAM).
 - `deriving` v0.2 (https://github.com/arthuraa/deriving)
 
 To compile the package, simply run