From cc0f423b71e7f1db6bf91dc15cf300a62c7020ca Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 10 Feb 2020 09:01:58 +0000
Subject: [PATCH] paket: Update to version 5.242.1

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

diff --git a/bucket/paket.json b/bucket/paket.json
index cfeb355568..13571e3d71 100644
--- a/bucket/paket.json
+++ b/bucket/paket.json
@@ -1,10 +1,10 @@
 {
-    "version": "5.242.0",
+    "version": "5.242.1",
     "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/5.242.0/paket.exe",
-    "hash": "92b4968ed3ba5b9a9a334136e7d4f20e83aa612f7a97d8825d85bf14ca8a2257",
+    "url": "https://github.com/fsprojects/Paket/releases/download/5.242.1/paket.exe",
+    "hash": "0b87ebb5984d8fb3885546bcb39ecee04e295c2c54dacd2bc48f12cd70c41102",
     "bin": "paket.exe",
     "checkver": {
         "github": "https://github.com/fsprojects/Paket"