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

coq: hash fix (#1865)

Browse Source
This commit is contained in:
github-actions[bot] 2021-03-08 21:42:12 +08:00 committed by GitHub
parent 3dca8a8894
commit 533dad331e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bucket/coq.json
View File

@ -6,7 +6,7 @@
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe#/dl.7z", "url": "https://github.com/coq/coq/releases/download/V8.13.1/coq-8.13.1-installer-windows-x86_64.exe#/dl.7z",
"hash": "a64e58692c2db894f520d047e07c9c6a53ae8571deacf4abc0f113cd1d206d08" "hash": "3f54ce3d89de1e235ecfce31796f149d25903772d356c055427a0f8a5b08a347"
} }
}, },
"pre_install": "Remove-Item \"$dir\\`$*\" -Recurse -Force", "pre_install": "Remove-Item \"$dir\\`$*\" -Recurse -Force",