From f169db3a70bfc09c02759e371aded908ae99ec64 Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Mon, 6 Mar 2023 10:11:39 +0100
Subject: [PATCH] default.nix: update to Nixpkgs 21.11

---
 default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/default.nix b/default.nix
index e387454..b02ae79 100644
--- a/default.nix
+++ b/default.nix
@@ -3,9 +3,9 @@
 let
   # Pinned Nixpkgs for reproducibility
   nixpkgs = builtins.fetchTarball
-    { name   = "nixpkgs-21.11.a62ce97f92b";
-      url    = "https://github.com/nixos/nixpkgs/archive/a62ce97f92b.tar.gz";
-      sha256 = "07wx3i8223aixzjli8mjv5621g6mqcs66fzm5114xc524af1q70s";
+    { name   = "nixpkgs-22.11.b26d52c9feb";
+      url    = "https://github.com/nixos/nixpkgs/archive/b26d52c9feb.tar.gz";
+      sha256 = "1h2fnn64fx40v42ky8g89jpisjpsz7d2psb1v7jwb2n6rd5yl1ig";
     };
 
   # Needed for HTML manual