changelog

LPCIC · Jan 31, 2024 · 6a9a2e5 · 6a9a2e5
1 parent 013af6b
commit 6a9a2e5
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,5 +1,13 @@
 # Changelog
 
+## [2.0.0.1] - 31/01/2024
+
+Requires Elpi 1.18.1 and Coq 8.18.
+
+Minor fixes backported from 2.0.2:
+- synterp initial state
+- loss of evars when calling ltac
+
 ## [2.0.0] - 23/12/2023
 
 Requires Elpi 1.18.1 and Coq 8.18.

diff --git a/coq-elpi.opam b/coq-elpi.opam
@@ -15,7 +15,7 @@ install: [ make "install" "COQBIN=%{bin}%/" "ELPIDIR=%{prefix}%/lib/elpi" ]
 depends: [
   "ocaml" {>= "4.09.0" }
   "stdlib-shims"
-  "elpi" {>= "1.18.1" & < "1.19.0~"}
+  "elpi" {= "1.18.1"}
   "coq" {>= "8.18" & < "8.19~" }
   "dot-merlin-reader" {with-dev}
   "ocaml-lsp-server" {with-dev}