Version 0.2.0.

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
 

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