itssoap/ScoopInstaller_Main
1
0
Fork 0
mirror of https://github.com/ScoopInstaller/Main.git synced 2026-02-03 02:24:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add dafny and win32yank (#2447)

Browse Source 
* Add dafny

* Add win32yank

* Reorder fields

* Reorder fields

* Update bucket/win32yank.json

Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com>

* Update bucket/win32yank.json

Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com>

* Update bucket/dafny.json

Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com>

* Remove extract_dir from autoupdate

Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com>

Co-authored-by: Rashil Gandhi <46838874+rashil2000@users.noreply.github.com>
This commit is contained in:
Li Yefeng 2021-10-25 09:16:22 -05:00 committed by GitHub
parent 310978db38
commit 78a46e5e0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 53 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
bucket/dafny.json Normal file
View File

@ -0,0 +1,27 @@
{
"version": "3.2.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/v3.2.0/dafny-3.2.0-x64-win.zip",
"extract_dir": "dafny"
}
},
"bin": [
"Dafny.exe",
"DafnyLanguageServer.exe",
"DafnyServer.exe"
],
"checkver": {
"github": "https://github.com/dafny-lang/dafny"
},
"autoupdate": {
"architecture": {
"64bit": {
"url": "https://github.com/dafny-lang/dafny/releases/download/v$version/dafny-$version-x64-win.zip"
}
}
}
}

26
bucket/win32yank.json Normal file
View File

@ -0,0 +1,26 @@
{
"version": "0.0.4",
"description": "A clipboard tool for Windows",
"homepage": "https://github.com/equalsraf/win32yank",
"license": "MIT",
"architecture": {
"64bit": {
"url": "https://github.com/equalsraf/win32yank/releases/download/v0.0.4/win32yank-x64.zip"
},
"32bit": {
"url": "https://github.com/equalsraf/win32yank/releases/download/v0.0.4/win32yank-x86.zip"
}
},
"bin": "win32yank.exe",
"checkver": "github",
"autoupdate": {
"architecture": {
"64bit": {
"url": "https://github.com/equalsraf/win32yank/releases/download/v$version/win32yank-x64.zip"
},
"32bit": {
"url": "https://github.com/equalsraf/win32yank/releases/download/v$version/win32yank-x86.zip"
}
}
}
}