Bump versions.

arthuraa · Aug 13, 2020 · 329e1f7 · 329e1f7
1 parent e2ad361
commit 329e1f7
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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"