diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
deleted file mode 100644
index eaacac9..0000000
--- a/.github/workflows/docker-action.yml
+++ /dev/null
@@ -1,52 +0,0 @@
-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@v3
-      - uses: coq-community/docker-coq-action@v1
-        with:
-          custom_image: ${{ matrix.image }}
-          custom_script: |
-            {{before_install}}
-            startGroup "Build stalmarck dependencies"
-              opam pin add -n -y -k path coq-stalmarck .
-              opam update -y
-              opam install -y -j 2 coq-stalmarck --deps-only
-            endGroup
-            startGroup "Build stalmarck"
-              opam install -y -v -j 2 coq-stalmarck
-              opam list
-            endGroup
-            startGroup "Build stalmarck-tactic dependencies"
-              opam pin add -n -y -k path coq-stalmarck-tactic .
-              opam update -y
-              opam install -y -j 2 coq-stalmarck-tactic --deps-only
-            endGroup
-            startGroup "Build stalmarck-tactic"
-              opam install -y -v -j 2 coq-stalmarck-tactic
-              opam list
-            endGroup
-            startGroup "Uninstallation test"
-              opam remove -y coq-stalmarck-tactic
-              opam remove -y coq-stalmarck
-            endGroup
-
-# 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 44ea975..fcca36f 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.19
   pull_request:
     paths:
     - .github/workflows/**
@@ -17,7 +17,7 @@ jobs:
     strategy:
       matrix:
         overrides:
-          - 'coq = "master"'
+          - 'coq = "8.18"'
       fail-fast: false
     steps:
       - name: Determine which commit to test
diff --git a/README.md b/README.md
index 86bf73a..07b5e8e 100644
--- a/README.md
+++ b/README.md
@@ -11,10 +11,10 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![Zulip][zulip-shield]][zulip-link]
 [![DOI][doi-shield]][doi-link]
 
-[docker-action-shield]: https://github.com/coq-community/stalmarck/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-shield]: https://github.com/coq-community/stalmarck/actions/workflows/docker-action.yml/badge.svg?branch=v8.19
 [docker-action-link]: https://github.com/coq-community/stalmarck/actions/workflows/docker-action.yml
 
-[nix-action-shield]: https://github.com/coq-community/stalmarck/actions/workflows/nix-action.yml/badge.svg?branch=master
+[nix-action-shield]: https://github.com/coq-community/stalmarck/actions/workflows/nix-action.yml/badge.svg?branch=v8.19
 [nix-action-link]: https://github.com/coq-community/stalmarck/actions/workflows/nix-action.yml
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
@@ -41,7 +41,7 @@ algorithm in Coq.
 - Coq-community maintainer(s):
   - Karl Palmskog ([**@palmskog**](https://github.com/palmskog))
 - License: [GNU Lesser General Public License v2.1 or later](LICENSE)
-- Compatible Coq versions: Coq master (use the corresponding branch or release for other Coq versions)
+- Compatible Coq versions: 8.19 (use the corresponding branch or release for other Coq versions)
 - Additional dependencies: none
 - Coq namespace: `Stalmarck.Algorithm`
 - Related publication(s):
diff --git a/coq-stalmarck-tactic.opam b/coq-stalmarck-tactic.opam
index bd80662..0249ed0 100644
--- a/coq-stalmarck-tactic.opam
+++ b/coq-stalmarck-tactic.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 maintainer: "palmskog@gmail.com"
-version: "dev"
+version: "8.19.dev"
 
 homepage: "https://github.com/coq-community/stalmarck"
 dev-repo: "git+https://github.com/coq-community/stalmarck.git"
@@ -13,7 +13,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "ocaml" {>= "4.09.0"}
   "dune" {>= "2.8"}
-  "coq" {= "dev"}
+  "coq" {>= "8.19" & < "8.20"}
   "coq-stalmarck" {= version}
 ]
 
diff --git a/coq-stalmarck.opam b/coq-stalmarck.opam
index ef29c4a..db609b7 100644
--- a/coq-stalmarck.opam
+++ b/coq-stalmarck.opam
@@ -3,7 +3,7 @@
 
 opam-version: "2.0"
 maintainer: "palmskog@gmail.com"
-version: "dev"
+version: "8.19.dev"
 
 homepage: "https://github.com/coq-community/stalmarck"
 dev-repo: "git+https://github.com/coq-community/stalmarck.git"
@@ -18,7 +18,7 @@ algorithm in Coq."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {= "dev"}
+  "coq" {>= "8.19" & < "8.20"}
 ]
 
 tags: [
diff --git a/meta.yml b/meta.yml
index b8dfd26..d3f9480 100644
--- a/meta.yml
+++ b/meta.yml
@@ -7,7 +7,7 @@ action: true
 nix: true
 doi: 10.1007/3-540-44659-1_24
 plugin: true
-branch: master
+branch: 'v8.19'
 dune: false
 
 synopsis: Verified implementation of Stålmarck's algorithm for proving tautologies in Coq
@@ -33,21 +33,21 @@ maintainers:
 
 opam-file-maintainer: palmskog@gmail.com
 
-opam-file-version: dev
+opam-file-version: 8.19.dev
 
 license:
   fullname: GNU Lesser General Public License v2.1 or later
   identifier: LGPL-2.1-or-later
 
 supported_coq_versions:
-  text: Coq master (use the corresponding branch or release for other Coq versions)
-  opam: '{= "dev"}'
+  text: 8.19 (use the corresponding branch or release for other Coq versions)
+  opam: '{>= "8.19" & < "8.20"}'
 
 tested_coq_nix_versions:
-- coq_version: 'master'
+- coq_version: '8.18'
 
 tested_coq_opam_versions:
-- version: 'dev'
+- version: '8.18'
 
 namespace: Stalmarck.Algorithm