2 Commits

Author	SHA1	Message	Date
tech189	584ddae139	dafny: Update to version 3.5.0 (#3400)	2022-03-18 09:32:46 +05:30
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