From 3a1e1bb82b2f36c4a4852b8fa89b257dc2b05e31 Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Fri, 18 Apr 2025 10:22:54 +0200
Subject: [PATCH] default.nix: update to Nixpkgs 25.05

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

diff --git a/default.nix b/default.nix
index 1227232..093b0ac 100644
--- a/default.nix
+++ b/default.nix
@@ -6,9 +6,9 @@
 let
   # Pinned Nixpkgs for reproducibility
   nixpkgs = builtins.fetchTarball
-    { name = "nixpkgs-23.05.5a237aecb572";
-      url = "https://github.com/nixos/nixpkgs/archive/5a237aecb572.tar.gz";
-      sha256 = "166yxg4ff2jxvl9mbngd90dr1k3rdj6xmiccga41xynhh2zr0vmb";
+    { name = "nixpkgs-25.05pre782401.2631b0b7abce";
+      url = "https://github.com/nixos/nixpkgs/archive/2631b0b7abce.tar.gz";
+      sha256 = "0crx0vfmvxxzj8viqpky4k8k7f744dsqnn1ki5qj270bx2w9ssid";
     };
 
   # Exclude this file, .git and more from source