diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
index 7f8305c..768e2db 100644
--- a/.github/workflows/nix-action.yml
+++ b/.github/workflows/nix-action.yml
@@ -17,7 +17,7 @@ jobs:
     strategy:
       matrix:
         overrides:
-          - 'coq = "8.17"'
+          - 'coq = "v8.17"'
       fail-fast: false
     steps:
       - name: Determine which commit to test
diff --git a/meta.yml b/meta.yml
index 89c0eb5..db48eb1 100644
--- a/meta.yml
+++ b/meta.yml
@@ -57,7 +57,7 @@ supported_ocaml_versions:
     opam: '{>= "4.09.0"}'
 
 tested_coq_nix_versions:
-- coq_version: '8.17'
+- coq_version: 'v8.17'
 
 tested_coq_opam_versions:
 - version: '8.17'