ionide
diff --git a/‎.config/dotnet-tools.json‎
Lines changed: 1 addition & 1 deletion b/‎.config/dotnet-tools.json‎
Lines changed: 1 addition & 1 deletion
@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "paket": {
-      "version": "7.2.1",
+      "version": "8.0.3",
       "commands": [
         "paket"
       ]
Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`	`"isRoot": true,`
`4`	`4`	`"tools": {`
`5`	`5`	`"paket": {`
`6`		`- "version": "7.2.1",`
	`6`	`+ "version": "8.0.3",`
`7`	`7`	`"commands": [`
`8`	`8`	`"paket"`
`9`	`9`	`]`