From 016f1b693e2664f7a63d1684d94207de9496f4c8 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 14 Nov 2023 16:25:30 +0000
Subject: [PATCH] paket: Update to version 8.0.0

---
 bucket/paket.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bucket/paket.json b/bucket/paket.json
index 7298a1ac26..009df451c1 100644
--- a/bucket/paket.json
+++ b/bucket/paket.json
@@ -1,10 +1,10 @@
 {
-    "version": "7.2.1",
+    "version": "8.0.0",
     "description": "Dependency manager for .NET with support for NuGet and Git repositories",
     "homepage": "https://fsprojects.github.io/Paket/",
     "license": "MIT",
-    "url": "https://github.com/fsprojects/Paket/releases/download/7.2.1/paket.exe",
-    "hash": "be52c7d0e7520282a430a5010014aedb86283debcaaa20d6d79b725621a4cf65",
+    "url": "https://github.com/fsprojects/Paket/releases/download/8.0.0/paket.exe",
+    "hash": "6d512fb6eddeb2503bfba625816bbaa4e9016cf4cedc320052272386fd0a6f1b",
     "bin": "paket.exe",
     "checkver": {
         "github": "https://github.com/fsprojects/Paket"