diff --git a/bucket/coq.json b/bucket/coq.json
index 90d1c6f518..1a8d0a1653 100644
--- a/bucket/coq.json
+++ b/bucket/coq.json
@@ -1,5 +1,5 @@
 {
-    "version": "2024.10.0",
+    "version": "2025.01.0",
     "description": "A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.",
     "homepage": "https://coq.inria.fr/",
     "license": {
@@ -8,8 +8,8 @@
     },
     "architecture": {
         "64bit": {
-            "url": "https://github.com/coq/platform/releases/download/2024.10.0/Coq-Platform-release-2024.10.0-version.8.19.2024.10-Windows-x86_64.exe#/dl.7z",
-            "hash": "4ed20dfde61151b7c7f81277a0c4e3da2b08bd0f65c554bb6823be62e95aa4cb"
+            "url": "https://github.com/coq/platform/releases/download/2025.01.0/Coq-Platform-release-2025.01.0-version.8.20.2025.01-Windows-x86_64.exe#/dl.7z",
+            "hash": "98ca86acc2d17fa66253be0120069083ecfc4628690911e640c3625329fc9480"
         }
     },
     "pre_install": "Remove-Item \"$dir\\`$*\", \"$dir\\Uninstall*\" -Recurse -Force",