itssoap/ScoopInstaller_Main
1
0
Fork 0
mirror of https://github.com/ScoopInstaller/Main.git synced 2025-11-05 16:21:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

coq: Update to version 8.10.0

Browse Source
This commit is contained in:
Richard Kuhnt 2019-10-08 11:03:04 +00:00
parent 0ede901f17
commit 4222e2a06c
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
bucket/coq.json
View File

@ -1,16 +1,16 @@
{ {
"homepage": "https://coq.inria.fr/", "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.", "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.9.1", "version": "8.10.0",
"license": "LGPL-2.1-only", "license": "LGPL-2.1-only",
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1-installer-windows-x86_64.exe#/dl.7z", "url": "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0-installer-windows-x86_64.exe#/dl.7z",
"hash": "d388223276b4624e6ff16c8e1b620cf36b0817edd32dcebdd48d41898811e469" "hash": "ee0bc7fbf7b42bb3e46d497379355ec9b30bd8d5e69ff6af576d538389683ded"
}, },
"32bit": { "32bit": {
"url": "https://github.com/coq/coq/releases/download/V8.9.1/coq-8.9.1-installer-windows-i686.exe#/dl.7z", "url": "https://github.com/coq/coq/releases/download/V8.10.0/coq-8.10.0-installer-windows-i686.exe#/dl.7z",
"hash": "6aab12fce6d919a474d4f46a909d5ea1399b8e20c2fd38173d0dd2b3ed87860f" "hash": "f6ee35d91b5963d2069b73e5592720524ee28e75d914c045fb780874316c1cfd"
} }
}, },
"bin": [ "bin": [