default.nix: update to Nixpkgs 23.05

This commit is contained in:
Michele Guerini Rocco 2023-10-17 11:09:26 +02:00
parent 7417d88d73
commit 9a0f19e9e1
Signed by: rnhmjoj
GPG Key ID: BFBAF4C975F76450

View File

@ -3,9 +3,9 @@
let let
# Pinned Nixpkgs for reproducibility # Pinned Nixpkgs for reproducibility
nixpkgs = builtins.fetchTarball nixpkgs = builtins.fetchTarball
{ name = "nixpkgs-22.11.b26d52c9feb"; { name = "nixpkgs-23.05.5a237aecb572";
url = "https://github.com/nixos/nixpkgs/archive/b26d52c9feb.tar.gz"; url = "https://github.com/nixos/nixpkgs/archive/5a237aecb572.tar.gz";
sha256 = "1h2fnn64fx40v42ky8g89jpisjpsz7d2psb1v7jwb2n6rd5yl1ig"; sha256 = "166yxg4ff2jxvl9mbngd90dr1k3rdj6xmiccga41xynhh2zr0vmb";
}; };
# Needed for HTML manual # Needed for HTML manual