From 5f3388da5345805cbfa2b5df68d102ba4459f69b Mon Sep 17 00:00:00 2001 From: Richard Kuhnt Date: Mon, 28 Oct 2019 11:01:50 +0000 Subject: [PATCH] coq: Update to version 8.10.1 --- bucket/coq.json | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/bucket/coq.json b/bucket/coq.json index 5369009372..913f88f97b 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.0", + "version": "8.10.1", "license": "LGPL-2.1-only", "architecture": { "64bit": { - "url": "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0-installer-windows-x86_64.exe#/dl.7z", - "hash": "ee0bc7fbf7b42bb3e46d497379355ec9b30bd8d5e69ff6af576d538389683ded" + "url": "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1-installer-windows-x86_64.exe#/dl.7z", + "hash": "6bacd5e727bb3d9a405dea880e21453fbd2d6a24524454aa32e2b7ab81c1e638" }, "32bit": { - "url": "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0-installer-windows-i686.exe#/dl.7z", - "hash": "f6ee35d91b5963d2069b73e5592720524ee28e75d914c045fb780874316c1cfd" + "url": "https://github.com/coq/coq/releases/download/V8.10.1/coq-8.10.1-installer-windows-i686.exe#/dl.7z", + "hash": "f7138651b1614ea9d4cd105bd60f192ffac77b6e51dc766684019e7ab4348ed5" } }, "bin": [