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