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

dafny: Update to version 4.0.0 (#4532)

Browse Source
This commit is contained in:
StarsbySea 2023-03-11 20:24:49 +08:00 committed by GitHub
parent b0aac44b90
commit 7ba997f2f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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": "3.12.0", "version": "4.0.0",
"description": "A programming language with a program verifier", "description": "A programming language with a program verifier",
"homepage": "https://dafny-lang.github.io/dafny/", "homepage": "https://dafny-lang.github.io/dafny/",
"license": "MIT", "license": "MIT",
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://github.com/dafny-lang/dafny/releases/download/v3.12.0/dafny-3.12.0-x64-win.zip", "url": "https://github.com/dafny-lang/dafny/releases/download/v4.0.0/dafny-4.0.0-x64-windows-2019.zip",
"hash": "2355261784fe331ff48fcee55b4c663382c25f51d381af4f27e83cb820d4dd33", "hash": "87169bb7355ca7834ce2942c3adc11b0f94f3ddb35307e01389ab90f09cf9b27",
"extract_dir": "dafny" "extract_dir": "dafny"
} }
}, },
@ -21,7 +21,7 @@
"autoupdate": { "autoupdate": {
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://github.com/dafny-lang/dafny/releases/download/v$version/dafny-$version-x64-win.zip" "url": "https://github.com/dafny-lang/dafny/releases/download/v$version/dafny-$version-x64-windows-2019.zip"
} }
} }
} }