!update to 24.11 (beta)

This commit is contained in:
Primrose 2024-11-18 20:47:30 +01:00
parent 57ed96f0ea
commit 188f78e47f
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
14 changed files with 50 additions and 94 deletions

View file

@ -43,12 +43,13 @@
};
inputs = {
nixpkgs.url = "github:nixos/nixpkgs/nixos-24.05";
nixpkgs.url = "github:nixos/nixpkgs/nixos-24.11";
# When updating, pin isabelle individually to 24.05 for version 2023
nixpkgs-stable.url = "github:nixos/nixpkgs/nixos-24.05";
home-manager = {
url = "github:nix-community/home-manager/release-24.05";
url = "github:nix-community/home-manager/release-24.11";
inputs."nixpkgs".follows = "nixpkgs";
};