diff --git a/bucket/coq.json b/bucket/coq.json
index 935ab4901d..80d75e41b0 100644
--- a/bucket/coq.json
+++ b/bucket/coq.json
@@ -1,5 +1,5 @@
 {
-    "version": "2022.09.1",
+    "version": "2023.03.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,12 +8,12 @@
     },
     "architecture": {
         "64bit": {
-            "url": "https://github.com/coq/platform/releases/download/2022.09.1/Coq-Platform-release-2022.09.1-version.8.16.2022.09-Windows-x86_64.exe#/dl.7z",
-            "hash": "63dee137bf3e587c68c42163fa7c90e888bbe63cad620707213b00e1c6f49144"
+            "url": "https://github.com/coq/platform/releases/download/2023.03.0/Coq-Platform-release-2023.03.0-version.8.17.2023.08-Windows-x86_64.exe#/dl.7z",
+            "hash": "df421f69e452e5485e6839106f7dbfb997bc43865b7542d3afdf38dfd7e5a738"
         },
         "32bit": {
-            "url": "https://github.com/coq/platform/releases/download/2022.09.1/Coq-Platform-release-2022.09.1-version.8.16.2022.09-Windows-i686.exe#/dl.7z",
-            "hash": "cfe73223182baabcdbab653f93c2ffbc81989953b105f5b2da25ed6f2b485159"
+            "url": "https://github.com/coq/platform/releases/download/2023.03.0/Coq-Platform-release-2023.03.0-version.8.17.2023.08-Windows-i686.exe#/dl.7z",
+            "hash": "64fb34373db4eb06d820954f2b4a39f2ad606da2e664b3f4228c83bd43029af7"
         }
     },
     "pre_install": "Remove-Item \"$dir\\`$*\", \"$dir\\Uninstall*\" -Recurse -Force",