From 539ca376363b107b873db2eb02fe64e874c9f1e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juan=20Pedro=20Bol=C3=ADvar=20Puente?= <raskolnikov@gnu.org>
Date: Tue, 21 Nov 2023 15:13:43 +0100
Subject: [PATCH] Revert "Upgrade nixpkgs"

This reverts commit 04e3869fa890d04a51d326e5fb35f941c55d4cb5.
---
 shell.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/shell.nix b/shell.nix
index 0887f9a9..749bdbb8 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,7 +1,7 @@
 {
   compiler ? "",
-  rev      ? "4ed9856be002a730234a1a1ed9dcd9dd10cbdb40",
-  sha256   ? "1jbw1qayzmx1720nm6qkvs6q0rmndf9qjk1qq5p67qzlyfdmjb8f",
+  rev      ? "f904e3562aabca382d12f8471ca2330b3f82899a",
+  sha256   ? "1lsa3sjwp1v3nv2jjpkl5lf9dncplwihmavasalg9fq1217pmzmb",
   nixpkgs  ? builtins.fetchTarball {
     name   = "nixpkgs-${rev}";
     url    = "https://github.com/nixos/nixpkgs/archive/${rev}.tar.gz";