Update build script dependencies

fsbolero · Dec 8, 2024 · b8a0a36 · b8a0a36
1 parent a0b9281
commit b8a0a36
Show file tree

Hide file tree

Showing 3 changed files with 645 additions and 618 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -3,16 +3,18 @@
   "isRoot": true,
   "tools": {
     "paket": {
-      "version": "8.0.0",
+      "version": "9.0.2",
       "commands": [
         "paket"
-      ]
+      ],
+      "rollForward": false
     },
     "nbgv": {
       "version": "3.6.133",
       "commands": [
         "nbgv"
-      ]
+      ],
+      "rollForward": false
     }
   }
 }