From 9e66252cfccde57450d6de2904462dab2b3640dd Mon Sep 17 00:00:00 2001
From: Arthur Azevedo de Amorim <arthur.aa@gmail.com>
Date: Fri, 10 Mar 2023 09:08:04 -0500
Subject: [PATCH 1/2] Update for 0.1.1.

---
 .circleci/config.yml | 6 +++---
 CHANGELOG.md         | 4 +++-
 README.md            | 4 ++--
 3 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 2166daf..c6c8bbf 100644
--- a/.circleci/config.yml
+++ b/.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
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3fbae8e..1e062ee 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,7 @@ 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
 
@@ -13,6 +14,7 @@ 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.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
 
diff --git a/README.md b/README.md
index 6511461..d20e95b 100644
--- a/README.md
+++ b/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
 

From 892672d84043570c8048071c55812bd409823424 Mon Sep 17 00:00:00 2001
From: Arthur Azevedo de Amorim <arthur.aa@gmail.com>
Date: Fri, 10 Mar 2023 09:41:44 -0500
Subject: [PATCH 2/2] Test with mathcomp 1.16 to avoid running out of memory.

---
 .circleci/config.yml | 17 +++++++++++++----
 deriving.opam        |  2 +-
 2 files changed, 14 insertions(+), 5 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index c6c8bbf..a8f04a9 100644
--- a/.circleci/config.yml
+++ b/.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:
@@ -98,12 +107,12 @@ jobs:
     docker:
     - image: coqorg/coq:8.16
 
-  coq-8-17-mathcomp-1-16-0:
+  coq-8-17-mathcomp-dev:
     <<: *defaults
     steps:
     - startup
     - prepare:
-        mathcomp-version: '1.16.0'
+        mathcomp-version: 'dev'
     - build
     docker:
     - image: coqorg/coq:8.17
@@ -127,5 +136,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-1-16-0
+    - coq-8-17-mathcomp-dev
     - coq-dev
diff --git a/deriving.opam b/deriving.opam
index c2297d2..17b4895 100644
--- a/deriving.opam
+++ b/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 <arthur.aa@gmail.com>"
 
 homepage: "https://github.com/arthuraa/deriving"