From a6bcc47832bd6d082fdbee995ffaa6e549658451 Mon Sep 17 00:00:00 2001
From: Arthur Azevedo de Amorim <arthur.aa@gmail.com>
Date: Fri, 22 Sep 2023 16:54:37 -0400
Subject: [PATCH] Version 0.2.0.

---
 CHANGELOG.md | 15 ++++++++++++++-
 README.md    |  2 +-
 2 files changed, 15 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 4c848e6..23907d4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,18 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+### Added
+
+### Changed
+
+### Deprecated
+
+### Removed
+
+### Fixed
+
+## [0.2.0] - 2023-09-22
+
 ### Changed
 - Make Deriving compatible with Hierarchy Builder and MathComp 2.0.0.
 
@@ -30,7 +42,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Added
 - First version supporting inductive types.
 
-[Unreleased]: https://github.com/arthuraa/deriving/compare/v0.1.1...HEAD
+[Unreleased]: https://github.com/arthuraa/deriving/compare/v0.2.0...HEAD
+[0.2.0]: https://github.com/arthuraa/deriving/releases/tag/v0.2.0
 [0.1.1]: https://github.com/arthuraa/deriving/releases/tag/v0.1.1
 [0.1.0]: https://github.com/arthuraa/deriving/releases/tag/v0.1.0
 
diff --git a/README.md b/README.md
index baa1edd..063f94b 100644
--- a/README.md
+++ b/README.md
@@ -81,7 +81,7 @@ In such cases, it is a good idea to keep the instance opaque (e.g. defined with
 
 ## Requirements
 
-- Coq 8.17
+- Coq 8.17 -- 8.18
 
 - `coq-mathcomp-ssreflect` 2.0.0