1 Commits

Author SHA1 Message Date
Li Yefeng
78a46e5e0f
Add dafny and win32yank (#2447)
* 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>
2021-10-25 19:46:22 +05:30