diff --git a/bucket/coq.json b/bucket/coq.json
index 220f7b4aee..4bcb762fe9 100644
--- a/bucket/coq.json
+++ b/bucket/coq.json
@@ -6,7 +6,7 @@
     "architecture": {
         "64bit": {
             "url": "https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe#/dl.7z",
-            "hash": "a64e58692c2db894f520d047e07c9c6a53ae8571deacf4abc0f113cd1d206d08"
+            "hash": "3f54ce3d89de1e235ecfce31796f149d25903772d356c055427a0f8a5b08a347"
         }
     },
     "pre_install": "Remove-Item \"$dir\\`$*\" -Recurse -Force",