itssoap/ScoopInstaller_Main
1
0
Fork 0
mirror of https://github.com/ScoopInstaller/Main.git synced 2025-12-09 00:41:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
60,557 Commits 3 Branches 0 Tags
Commit Graph

28 Commits

Author SHA1 Message Date
github-actions[bot]
2447aad182 dafny: Update to version 4.10.0 2025-02-05 00:35:20 +00:00
github-actions[bot]
ee13bf0192 dafny: Update to version 4.9.1 2024-12-23 12:32:35 +00:00
github-actions[bot]
48c939ce10 dafny: Update to version 4.9.0 2024-10-31 04:30:22 +00:00
github-actions[bot]
9a973e447a dafny: Update to version 4.8.1 2024-09-16 20:27:58 +00:00
github-actions[bot]
9fc58ece0a dafny: Update to version 4.8.0 2024-08-29 16:30:19 +00:00
github-actions[bot]
237788ce02 dafny: Update to version 4.7.0 2024-06-27 00:34:10 +00:00
Natsu
49dec36516
dafny: Remove DafnyLanguageServer bin (#5867) 2024-05-31 02:23:34 +08:00
github-actions[bot]
83d70cd2a8 dafny: Update to version 4.6.0 2024-03-28 21:06:37 +00:00
github-actions[bot]
bc8796e6d6 dafny: Update to version 4.5.0 2024-03-16 04:27:10 +00:00
github-actions[bot]
51d308fa7f dafny: Update to version 4.4.0 2023-12-12 20:24:36 +00:00
github-actions[bot]
4eb3e2c380 dafny: Update to version 4.3.0 2023-09-29 20:24:48 +00:00
github-actions[bot]
2d7deb8ddf dafny: Update to version 4.2.0 2023-07-20 20:24:16 +00:00
github-actions[bot]
d676da0811 dafny: Update to version 4.1.0 2023-05-11 00:35:17 +00:00
StarsbySea
7ba997f2f9
dafny: Update to version 4.0.0 (#4532) 2023-03-11 17:54:49 +05:30
github-actions[bot]
f35db316cf dafny: Update to version 3.12.0 2023-02-21 20:27:20 +00:00
github-actions[bot]
1cdac5e456 dafny: Update to version 3.11.0 2023-02-01 20:27:51 +00:00
github-actions[bot]
2ed0d2f578 dafny: Update to version 3.10.0 2022-12-16 00:34:10 +00:00
github-actions[bot]
e9a5370159 dafny: Update to version 3.9.1 2022-10-28 04:35:17 +00:00
github-actions[bot]
c38ca5093b dafny: Update to version 3.9.0 2022-10-03 20:30:37 +00:00
github-actions[bot]
11d9e04ac0 dafny: Update to version 3.8.1 2022-09-01 16:31:16 +00:00
github-actions[bot]
d74ba32994 dafny: Update to version 3.8.0 2022-08-24 00:34:05 +00:00
github-actions[bot]
268c904977 dafny: Update to version 3.7.3 2022-07-20 00:36:58 +00:00
github-actions[bot]
f453a5af23 dafny: Update to version 3.7.2 2022-07-14 00:34:21 +00:00
github-actions[bot]
9088b2f55e dafny: Update to version 3.7.1 2022-06-22 00:35:52 +00:00
github-actions[bot]
0998e558d7 dafny: Update to version 3.7.0 2022-06-21 04:31:53 +00:00
github-actions[bot]
c0f9c82eb0 dafny: Update to version 3.6.0 2022-05-12 00:33:29 +00:00
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