From e1e7b8999d8d8265045a50ded3ccf8cab09b50a0 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 28 Oct 2024 16:31:05 +0000
Subject: [PATCH] coq: Update to version 2024.10.0

---
 bucket/coq.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bucket/coq.json b/bucket/coq.json
index 641ee01d3d..90d1c6f518 100644
--- a/bucket/coq.json
+++ b/bucket/coq.json
@@ -1,5 +1,5 @@
 {
-    "version": "2023.11.0",
+    "version": "2024.10.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/2023.11.0/Coq-Platform-release-2023.11.0-version.8.18.2023.11-Windows-x86_64.exe#/dl.7z",
-            "hash": "e63dfaec68a3bb2c5766433c0d9b9e76e9a5ea422227e9a76614eca6bde9f193"
+            "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"
         }
     },
     "pre_install": "Remove-Item \"$dir\\`$*\", \"$dir\\Uninstall*\" -Recurse -Force",