Release new version.

arthuraa · Dec 9, 2024 · 067e181 · 067e181
1 parent c30a510
commit 067e181
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 6 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,18 @@
 
 ## Added
 
+## Changed
+
+## Deprecated
+
+## Fixed
+
+## Removed
+
+# 0.5.0 (2024/12/09)
+
+## Added
+
 - Lemmas: `fset_eqP` `fset_eq0E` `domm_filter_eq` `fperm1V` `eq_in_fmap`
   `fdisjointSr`
 
@@ -21,10 +33,6 @@
 
 - `fdisjoint_trans` in favor of `fdisjointSl`.
 
-## Fixed
-
-## Removed
-
 # 0.4.0 (2023/09/25)
 
 ## Added

diff --git a/README.md b/README.md
@@ -75,8 +75,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.17 -- v8.18
-- [Ssreflect][2] v2.0 (`coq-mathcomp-ssreflect` on OPAM).
+- Coq v8.17 -- v8.20
+- [Ssreflect][2] v2.0 -- v2.3 (`coq-mathcomp-ssreflect` on OPAM).
 - `deriving` v0.2 (https://github.com/arthuraa/deriving)
 
 To compile the package, simply run