update paket, fake, do paket update (#902)

ionide · Mar 19, 2022 · 2182f6a · 2182f6a
1 parent 20863e2
commit 2182f6a
Show file tree

Hide file tree

Showing 2 changed files with 193 additions and 184 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -3,13 +3,13 @@
   "isRoot": true,
   "tools": {
     "fake-cli": {
-      "version": "5.21.0-alpha004",
+      "version": "5.22.0",
       "commands": [
         "fake"
       ]
     },
     "paket": {
-      "version": "6.2.1",
+      "version": "7.0.2",
       "commands": [
         "paket"
       ]