diff --git a/CHANGELOG.md b/CHANGELOG.md
index a53b115..177dbe6 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 0.2.2 (2020/08/13)
+
+- Fix compatibility issues with Coq 8.12 and Ssreflect 1.11.
+
 # 0.2.1 (2019/10/26)
 
 - Fix compatibility issue with Coq 8.10
diff --git a/README.md b/README.md
index 3e14bc5..80e5ddd 100644
--- a/README.md
+++ b/README.md
@@ -66,8 +66,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.10
-- [Ssreflect][2] v1.9 (`coq-mathcomp-ssreflect` on OPAM).
+- Coq versions 8.10, 8.11, or 8.12
+- [Ssreflect][2] versions 1.10 or 1.11 (`coq-mathcomp-ssreflect` on OPAM).
 
 To compile the package, simply run
 
diff --git a/extructures.opam b/extructures.opam
index a42cf22..b97aaf2 100644
--- a/extructures.opam
+++ b/extructures.opam
@@ -1,7 +1,7 @@
 synopsis: "Finite data structures with extensional reasoning"
 name: "coq-extructures"
 opam-version: "2.0"
-version: "0.2.1"
+version: "0.2.2"
 maintainer: "arthur.aa@gmail.com"
 homepage: "https://github.com/arthuraa/extructures"
 dev-repo: "git+https://github.com/arthuraa/extructures.git"