diff --git a/bucket/coq.json b/bucket/coq.json
index 79f7f1ab7d..1e63c11d5d 100644
--- a/bucket/coq.json
+++ b/bucket/coq.json
@@ -1,5 +1,5 @@
 {
-    "version": "2022.04.0",
+    "version": "2022.04.1",
     "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.04.0/Coq-Platform-release-2022.04.0-version_8.15_2022.04-windows-x86_64_signed.exe#/dl.7z",
-            "hash": "3cc33e94737b912219d0a0492cc4eafdfeac0637669730fca7930901422b8143"
+            "url": "https://github.com/coq/platform/releases/download/2022.04.1/Coq-Platform-release-2022.04.1-version_8.15_2022.04-arch-x86_64_signed.exe#/dl.7z",
+            "hash": "f5c717ee1e1220d8a3882bf84a479d4d338efd50cb96b9aa9466be7f8b1c29f8"
         },
         "32bit": {
-            "url": "https://github.com/coq/platform/releases/download/2022.04.0/Coq-Platform-release-2022.04.0-version_8.15_2022.04-windows-i686_signed.exe#/dl.7z",
-            "hash": "eda6faa6080daffb12e52bda475b18360f9b611972b0bdb8800875928c1b3f09"
+            "url": "https://github.com/coq/platform/releases/download/2022.04.1/Coq-Platform-release-2022.04.1-version_8.15_2022.04-arch-i686_signed.exe#/dl.7z",
+            "hash": "1af4f6302f09edf1abe576d8d9a37a52ad730f92ffe3c9285f030579b652048a"
         }
     },
     "pre_install": "Remove-Item \"$dir\\`$*\", \"$dir\\Uninstall*\" -Recurse -Force",
@@ -33,17 +33,17 @@
         "COQBIN": "bin"
     },
     "checkver": {
-        "url": "https://github.com/coq/platform/releases",
-        "regex": "Coq-Platform-release-([\\d.]+)-version_(?<coqver>[\\d.]+)_[\\d.]+-windows-x86_64_signed.exe",
+        "url": "https://api.github.com/repos/coq/platform/releases/latest",
+        "regex": "Coq-Platform-release-([\\d.]+)-version_(?<coqver>[\\d.]+)_[\\d.]+-arch-x86_64_signed.exe",
         "reverse": true
     },
     "autoupdate": {
         "architecture": {
             "64bit": {
-                "url": "https://github.com/coq/platform/releases/download/$version/Coq-Platform-release-$version-version_$matchCoqver_$majorVersion.$minorVersion-windows-x86_64_signed.exe#/dl.7z"
+                "url": "https://github.com/coq/platform/releases/download/$version/Coq-Platform-release-$version-version_$matchCoqver_$majorVersion.$minorVersion-arch-x86_64_signed.exe#/dl.7z"
             },
             "32bit": {
-                "url": "https://github.com/coq/platform/releases/download/$version/Coq-Platform-release-$version-version_$matchCoqver_$majorVersion.$minorVersion-windows-i686_signed.exe#/dl.7z"
+                "url": "https://github.com/coq/platform/releases/download/$version/Coq-Platform-release-$version-version_$matchCoqver_$majorVersion.$minorVersion-arch-i686_signed.exe#/dl.7z"
             }
         }
     }