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

coq: Update to version 2024.10.0

Browse Source
This commit is contained in:
github-actions[bot] 2024-10-28 16:31:05 +00:00
parent ba219801ab
commit e1e7b8999d
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,5 +1,5 @@
{ {
"version": "2023.11.0", "version": "2024.10.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": { "license": {
@ -8,8 +8,8 @@
}, },
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://github.com/coq/platform/releases/download/2023.11.0/Coq-Platform-release-2023.11.0-version.8.18.2023.11-Windows-x86_64.exe#/dl.7z", "url": "https://github.com/coq/platform/releases/download/2024.10.0/Coq-Platform-release-2024.10.0-version.8.19.2024.10-Windows-x86_64.exe#/dl.7z",
"hash": "e63dfaec68a3bb2c5766433c0d9b9e76e9a5ea422227e9a76614eca6bde9f193" "hash": "4ed20dfde61151b7c7f81277a0c4e3da2b08bd0f65c554bb6823be62e95aa4cb"
} }
}, },
"pre_install": "Remove-Item \"$dir\\`$*\", \"$dir\\Uninstall*\" -Recurse -Force", "pre_install": "Remove-Item \"$dir\\`$*\", \"$dir\\Uninstall*\" -Recurse -Force",