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

dafny: Update to version 4.11.0 (#7125)

Browse Source 
Excavator was failing.
Windows version(?) changed in the artifact naming template. This fixes
the url for  the 4.11.0 update.
This commit is contained in:
jack-mil 2025-09-11 13:37:19 -04:00 committed by GitHub
parent 05cdd1360e
commit e0bdf04c9a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
bucket/dafny.json
View File

@ -1,12 +1,12 @@
{
"version": "4.10.0",
"version": "4.11.0",
"description": "A programming language with a program verifier",
"homepage": "https://dafny-lang.github.io/dafny/",
"license": "MIT",
"architecture": {
"64bit": {
"url": "https://github.com/dafny-lang/dafny/releases/download/v4.10.0/dafny-4.10.0-x64-windows-2019.zip",
"hash": "e048a91fe84b8587f62334968e145d3e78312f6b2ab4465a24eaf7e94fca5028",
"url": "https://github.com/dafny-lang/dafny/releases/download/v4.11.0/dafny-4.11.0-x64-windows-2022.zip",
"hash": "3653f05a111ca21e234709ea7b25ce96083fd6c6f10484256ba54110dbc0654d",
"extract_dir": "dafny"
}
},
@ -20,7 +20,7 @@
"autoupdate": {
"architecture": {
"64bit": {
"url": "https://github.com/dafny-lang/dafny/releases/download/v$version/dafny-$version-x64-windows-2019.zip"
"url": "https://github.com/dafny-lang/dafny/releases/download/v$version/dafny-$version-x64-windows-2022.zip"
}
}
}