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

coq: Update to version 2022.04.1, fix checkver

Browse Source 
Checkver was failing in Excavator due to GitHub releases HTML not containing release file names, switched to API instead
This commit is contained in:
tech189 2022-11-05 00:33:44 +00:00
parent 3a00916172
commit 7d8c4871cb
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
bucket/coq.json
View File

@ -1,5 +1,5 @@
{ {
"version": "2022.04.0", "version": "2022.04.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.", "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,12 +8,12 @@
}, },
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://github.com/coq/platform/releases/download/2022.04.0/Coq-Platform-release-2022.04.0-version_8.15_2022.04-windows-x86_64_signed.exe#/dl.7z", "url": "https://github.com/coq/platform/releases/download/2022.04.1/Coq-Platform-release-2022.04.1-version_8.15_2022.04-arch-x86_64_signed.exe#/dl.7z",
"hash": "3cc33e94737b912219d0a0492cc4eafdfeac0637669730fca7930901422b8143" "hash": "f5c717ee1e1220d8a3882bf84a479d4d338efd50cb96b9aa9466be7f8b1c29f8"
}, },
"32bit": { "32bit": {
"url": "https://github.com/coq/platform/releases/download/2022.04.0/Coq-Platform-release-2022.04.0-version_8.15_2022.04-windows-i686_signed.exe#/dl.7z", "url": "https://github.com/coq/platform/releases/download/2022.04.1/Coq-Platform-release-2022.04.1-version_8.15_2022.04-arch-i686_signed.exe#/dl.7z",
"hash": "eda6faa6080daffb12e52bda475b18360f9b611972b0bdb8800875928c1b3f09" "hash": "1af4f6302f09edf1abe576d8d9a37a52ad730f92ffe3c9285f030579b652048a"
} }
}, },
"pre_install": "Remove-Item \"$dir\\`$*\", \"$dir\\Uninstall*\" -Recurse -Force", "pre_install": "Remove-Item \"$dir\\`$*\", \"$dir\\Uninstall*\" -Recurse -Force",
@ -33,17 +33,17 @@
"COQBIN": "bin" "COQBIN": "bin"
}, },
"checkver": { "checkver": {
"url": "https://github.com/coq/platform/releases", "url": "https://api.github.com/repos/coq/platform/releases/latest",
"regex": "Coq-Platform-release-([\\d.]+)-version_(?<coqver>[\\d.]+)_[\\d.]+-windows-x86_64_signed.exe", "regex": "Coq-Platform-release-([\\d.]+)-version_(?<coqver>[\\d.]+)_[\\d.]+-arch-x86_64_signed.exe",
"reverse": true "reverse": true
}, },
"autoupdate": { "autoupdate": {
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://github.com/coq/platform/releases/download/$version/Coq-Platform-release-$version-version_$matchCoqver_$majorVersion.$minorVersion-windows-x86_64_signed.exe#/dl.7z" "url": "https://github.com/coq/platform/releases/download/$version/Coq-Platform-release-$version-version_$matchCoqver_$majorVersion.$minorVersion-arch-x86_64_signed.exe#/dl.7z"
}, },
"32bit": { "32bit": {
"url": "https://github.com/coq/platform/releases/download/$version/Coq-Platform-release-$version-version_$matchCoqver_$majorVersion.$minorVersion-windows-i686_signed.exe#/dl.7z" "url": "https://github.com/coq/platform/releases/download/$version/Coq-Platform-release-$version-version_$matchCoqver_$majorVersion.$minorVersion-arch-i686_signed.exe#/dl.7z"
} }
} }
} }