From 4324dbcae202f05d3d527f3d12a65f1a3be353c9 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 22 Apr 2022 12:31:17 +0000
Subject: [PATCH] paket: Update to version 7.1.5

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

diff --git a/bucket/paket.json b/bucket/paket.json
index 3e36cfd23d..37152c2a9d 100644
--- a/bucket/paket.json
+++ b/bucket/paket.json
@@ -1,10 +1,10 @@
 {
-    "version": "7.1.4",
+    "version": "7.1.5",
     "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.1.4/paket.exe",
-    "hash": "91f242db31539d15475fe9c9f353cb7a4d932bca122ff3f245fbe203a4a397a5",
+    "url": "https://github.com/fsprojects/Paket/releases/download/7.1.5/paket.exe",
+    "hash": "e5eaf82d2c02d421f3223bf918a61f8c159aaa53f041aff10d3ea86d126956e9",
     "bin": "paket.exe",
     "checkver": {
         "github": "https://github.com/fsprojects/Paket"