Update for 0.1.1.

.circleci/config.yml

@@ -98,12 +98,12 @@ jobs:
     docker:
     - image: coqorg/coq:8.16
 
-  coq-8-17-mathcomp-dev:
+  coq-8-17-mathcomp-1-16-0:
     <<: *defaults
     steps:
     - startup
     - prepare:
-        mathcomp-version: 'dev'
+        mathcomp-version: '1.16.0'
     - build
     docker:
     - image: coqorg/coq:8.17
@@ -127,5 +127,5 @@ workflows:
     - coq-8-14-mathcomp-1-13-0
     - coq-8-15-mathcomp-1-15-0
     - coq-8-16-mathcomp-1-16-0
-    - coq-8-17-mathcomp-dev
+    - coq-8-17-mathcomp-1-16-0
     - coq-dev

CHANGELOG.md

@@ -6,13 +6,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.1.1] - 2023-03-10
 ### Fixed
 - Add `global` locality annotations to comply with newer versions of Coq
 
 ## [0.1.0] - 2020-02-24
 ### Added
 - First version supporting inductive types.
 
-[Unreleased]: https://github.com/arthuraa/deriving/compare/v0.1.0...HEAD
+[Unreleased]: https://github.com/arthuraa/deriving/compare/v0.1.1...HEAD
+[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

@@ -80,9 +80,9 @@ In such cases, it is a good idea to keep the instance opaque (e.g. defined with
 
 ## Requirements
 
-- Coq 8.11 -- 8.15
+- Coq 8.11 -- 8.17
 
-- `coq-mathcomp-ssreflect` 1.11 -- 1.15
+- `coq-mathcomp-ssreflect` 1.11 -- 1.16
 
 ## Installation