From 3a7df1735c8864be71be67338f9a19df11f007fb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20=C4=8C=C3=A1bera?= Date: Tue, 12 Jan 2021 07:53:24 +0100 Subject: [PATCH] coq: Update to version 8.13.0 --- bucket/coq.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bucket/coq.json b/bucket/coq.json index c840c9cd0c..d9935cbd31 100644 --- a/bucket/coq.json +++ b/bucket/coq.json @@ -1,12 +1,12 @@ { - "version": "8.12.2", + "version": "8.13.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": "LGPL-2.1-only", "architecture": { "64bit": { - "url": "https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2-installer-windows-x86_64.exe#/dl.7z", - "hash": "3d7e642aedbd65bf76efdbb2f495a3d7b23ba447c6afe96eff6418c6359a5341" + "url": "https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0-installer-windows-x86_64.exe#/dl.7z", + "hash": "717917b3b5c29b436f28d9b69f8dbf8751f09d1fa9d7376c3fc64ed4ab38a39d" } }, "pre_install": "Remove-Item \"$dir\\`$*\" -Recurse -Force",