itssoap/ScoopInstaller_Main
1
0
Fork 0
mirror of https://github.com/ScoopInstaller/Main.git synced 2025-12-17 04:41:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

coq: Update to version 8.13.0

Browse Source
This commit is contained in:
Jakub Čábera 2021-01-12 07:53:24 +01:00
parent 2a9e04a144
commit 3a7df1735c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
bucket/coq.json
View File

@ -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.", "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/", "homepage": "https://coq.inria.fr/",
"license": "LGPL-2.1-only", "license": "LGPL-2.1-only",
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://github.com/coq/coq/releases/download/V8.12.2/coq-8.12.2-installer-windows-x86_64.exe#/dl.7z", "url": "https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0-installer-windows-x86_64.exe#/dl.7z",
"hash": "3d7e642aedbd65bf76efdbb2f495a3d7b23ba447c6afe96eff6418c6359a5341" "hash": "717917b3b5c29b436f28d9b69f8dbf8751f09d1fa9d7376c3fc64ed4ab38a39d"
} }
}, },
"pre_install": "Remove-Item \"$dir\\`$*\" -Recurse -Force", "pre_install": "Remove-Item \"$dir\\`$*\" -Recurse -Force",