From c3f8cb1921e5cb03e98afcb62ec9b7087f0e0890 Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Wed, 4 May 2022 10:31:22 +0200
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 cd39407..e387454 100644
--- a/default.nix
+++ b/default.nix
@@ -3,9 +3,9 @@
 let
   # Pinned Nixpkgs for reproducibility
   nixpkgs = builtins.fetchTarball
-    { name   = "nixpkgs-21.05-ee90403e147";
-      url    = "https://github.com/nixos/nixpkgs/archive/ee90403e147.tar.gz";
-      sha256 = "1mk3s4ncfa8z8mr6vrgjh74s8dci12yam7plpc1bqgz12wld73ax";
+    { name   = "nixpkgs-21.11.a62ce97f92b";
+      url    = "https://github.com/nixos/nixpkgs/archive/a62ce97f92b.tar.gz";
+      sha256 = "07wx3i8223aixzjli8mjv5621g6mqcs66fzm5114xc524af1q70s";
     };
 
   # Needed for HTML manual