diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
deleted file mode 100644
index 8f70750..0000000
--- a/.github/workflows/docker-action.yml
+++ /dev/null
@@ -1,31 +0,0 @@
-# This file was generated from `meta.yml`, please do not edit manually.
-# Follow the instructions on https://github.com/coq-community/templates to regenerate.
-name: Docker CI
-
-on:
-  push:
-    branches:
-      - master
-  pull_request:
-    branches:
-      - '**'
-
-jobs:
-  build:
-    # the OS must be GNU/Linux to be able to use the docker-coq-action
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        image:
-          - 'coqorg/coq:dev'
-      fail-fast: false
-    steps:
-      - uses: actions/checkout@v2
-      - uses: coq-community/docker-coq-action@v1
-        with:
-          opam_file: 'coq-aac-tactics.opam'
-          custom_image: ${{ matrix.image }}
-
-# See also:
-# https://github.com/coq-community/docker-coq-action#readme
-# https://github.com/erikmd/docker-coq-github-action-demo
diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
index 9224ff8..47d5bba 100644
--- a/.github/workflows/nix-action.yml
+++ b/.github/workflows/nix-action.yml
@@ -5,7 +5,7 @@ name: Nix CI
 on:
   push:
     branches:
-      - master
+      - v8.15
   pull_request:
     paths:
     - .github/workflows/**
@@ -17,7 +17,7 @@ jobs:
     strategy:
       matrix:
         overrides:
-          - 'coq = "master"'
+          - 'coq = "v8.15"'
       fail-fast: false
     steps:
       - name: Determine which commit to test
diff --git a/README.md b/README.md
index b82682f..708dacc 100644
--- a/README.md
+++ b/README.md
@@ -4,17 +4,13 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 --->
 # AAC Tactics
 
-[![Docker CI][docker-action-shield]][docker-action-link]
 [![Nix CI][nix-action-shield]][nix-action-link]
 [![Contributing][contributing-shield]][contributing-link]
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
 [![DOI][doi-shield]][doi-link]
 
-[docker-action-shield]: https://github.com/coq-community/aac-tactics/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/coq-community/aac-tactics/actions?query=workflow:"Docker%20CI"
-
-[nix-action-shield]: https://github.com/coq-community/aac-tactics/workflows/Nix%20CI/badge.svg?branch=master
+[nix-action-shield]: https://github.com/coq-community/aac-tactics/workflows/Nix%20CI/badge.svg?branch=v8.15
 [nix-action-link]: https://github.com/coq-community/aac-tactics/actions?query=workflow:"Nix%20CI"
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
@@ -46,7 +42,7 @@ such as for binary integer arithmetic and booleans, are provided with the plugin
 - Coq-community maintainer(s):
   - Karl Palmskog ([**@palmskog**](https://github.com/palmskog))
 - License: [GNU Lesser General Public License v3.0 or later](LICENSE)
-- Compatible Coq versions: master (use the corresponding branch or release for other Coq versions)
+- Compatible Coq versions: 8.15 (use the corresponding branch or release for other Coq versions)
 - Compatible OCaml versions: 4.05.0 or later
 - Additional dependencies: none
 - Coq namespace: `AAC_tactics`
diff --git a/coq-aac-tactics.opam b/coq-aac-tactics.opam
index 28ddd03..a34e35c 100644
--- a/coq-aac-tactics.opam
+++ b/coq-aac-tactics.opam
@@ -23,7 +23,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "ocaml" {>= "4.05.0"}
   "dune" {>= "2.5"}
-  "coq" {= "dev"}
+  "coq" {>= "8.15" & < "8.16~"}
 ]
 
 tags: [
diff --git a/meta.yml b/meta.yml
index 3bc902c..223aef6 100644
--- a/meta.yml
+++ b/meta.yml
@@ -7,7 +7,7 @@ action: true
 nix: true
 plugin: true
 doi: 10.1007/978-3-642-25379-9_14
-branch: master
+branch: v8.15
 
 synopsis: >-
   Coq tactics for rewriting universally quantified equations, modulo
@@ -47,8 +47,8 @@ license:
   identifier: LGPL-3.0-or-later
 
 supported_coq_versions:
-  text: master (use the corresponding branch or release for other Coq versions)
-  opam: '{= "dev"}'
+  text: 8.15 (use the corresponding branch or release for other Coq versions)
+  opam: '{>= "8.15" & < "8.16~"}'
 
 supported_ocaml_versions:
     text: 4.05.0 or later
@@ -57,6 +57,9 @@ supported_ocaml_versions:
 tested_coq_opam_versions:
 - version: dev
 
+tested_coq_nix_versions:
+- coq_version: 'v8.15'
+
 namespace: AAC_tactics
 
 keywords: