Merge pull request #23 from arthuraa/release-0.1.1

Release 0.1.1

.circleci/config.yml

@@ -29,11 +29,20 @@ commands:
             --kind=version << parameters.mathcomp-version >>
           opam install --deps-only .
 
+  set-jobs:
+    steps:
+    - run:
+        name: Set number of jobs
+        command: |
+          opam var --global jobs=1
+
+
   build:
     steps:
     - run:
         name: Building deriving
-        command:
+        command: |
+          opam var jobs
           opam install --with-test .
 
 jobs:

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
 

deriving.opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "coq-deriving"
-version: "0.1.0"
+version: "0.1.1"
 maintainer: "Arthur Azevedo de Amorim <[email protected]>"
 
 homepage: "https://github.com/arthuraa/deriving"