From 119a52e5117d01f22b8a69290f9d3ba5b8dc88b5 Mon Sep 17 00:00:00 2001
From: Daniel Jankowski <daniel.jankowski@rub.de>
Date: Tue, 5 Mar 2024 19:47:16 +0100
Subject: [PATCH] chore: update shell.nix

---
 shell.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/shell.nix b/shell.nix
index 5b94979..30239a9 100644
--- a/shell.nix
+++ b/shell.nix
@@ -4,8 +4,8 @@ let
   pinnedPkgs = fetchFromGitHub {
     owner = "NixOS";
     repo = "nixpkgs";
-    rev = "5148520bfab61f99fd25fb9ff7bfbb50dad3c9db";
-    sha256 = "sha256-d2B282GmQ9o8klc22/Rbbbj6r99EnELQpOQjWMyv0rU=";
+    rev = "fa9a51752f1b5de583ad5213eb621be071806663";
+    sha256 = "sha256-VPqfBnIJ+cfa78pd4Y5Cr6sOWVW8GYHRVucxJGmRf8Q=";
   };
 
   pkgs = import pinnedPkgs {};