From a6bcc47832bd6d082fdbee995ffaa6e549658451 Mon Sep 17 00:00:00 2001 From: Arthur Azevedo de Amorim 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