diff --git a/bucket/coq.json b/bucket/coq.json
index 913f88f97b..5d63a3fac1 100644
--- a/bucket/coq.json
+++ b/bucket/coq.json
@@ -1,16 +1,16 @@
 {
     "homepage": "https://coq.inria.fr/",
     "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.",
-    "version": "8.10.1",
+    "version": "8.10.2",
     "license": "LGPL-2.1-only",
     "architecture": {
         "64bit": {
-            "url": "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1-installer-windows-x86_64.exe#/dl.7z",
-            "hash": "6bacd5e727bb3d9a405dea880e21453fbd2d6a24524454aa32e2b7ab81c1e638"
+            "url": "https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2-installer-windows-x86_64.exe#/dl.7z",
+            "hash": "4febccc360a273ea4e2de93412d9c9c1880550d03663c73e0b980b61f7d489d9"
         },
         "32bit": {
-            "url": "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1-installer-windows-i686.exe#/dl.7z",
-            "hash": "f7138651b1614ea9d4cd105bd60f192ffac77b6e51dc766684019e7ab4348ed5"
+            "url": "https://github.com/coq/coq/releases/download/V8.10.2/coq-8.10.2-installer-windows-i686.exe#/dl.7z",
+            "hash": "04372c3407f4abb7f48d098d57f299be7343f2d345a7bc82fc2a3d03622b9b45"
         }
     },
     "bin": [