diff --git a/Changelog.md b/Changelog.md
index 77d876a0c..6da18cfcb 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,3 +1,11 @@
+# [2.2.2] - 15/07/2024
+
+Requires Elpi 1.19.2 and Coq 8.19 or Coq 8.20.
+
+### Packaging
+- Fix release script to just publish coq-elpi (and not coq-elpi-tests)
+- Fix opam constraints by adding upper bound
+
 # [2.2.1] - 12/07/2024
 
 Requires Elpi 1.19.2 and Coq 8.19 or Coq 8.20.
diff --git a/coq-elpi.opam b/coq-elpi.opam
index b96957d82..9e3194641 100644
--- a/coq-elpi.opam
+++ b/coq-elpi.opam
@@ -19,7 +19,7 @@ depends: [
   "ocaml" {>= "4.10.0"}
   "stdlib-shims"
   "elpi" {>= "1.18.2" & < "1.20.0~"}
-  "coq" {>= "8.19"}
+  "coq" {>= "8.19" & < "8.21"}
   "ppx_optcomp"
   "ocaml-lsp-server" {dev}
   "odoc" {with-doc}