Merge pull request #664 from LPCIC/release

prepare release
LPCIC · Jul 15, 2024 · c13ecc9 · c13ecc9
2 parents b3d74bc + bf7fe23
commit c13ecc9
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git 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
@@ -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}