diff options
-rw-r--r-- | flake.lock | 17 | ||||
-rw-r--r-- | flake.nix | 1 | ||||
-rw-r--r-- | pkgs/overlay.nix | 4 |
3 files changed, 21 insertions, 1 deletions
@@ -249,6 +249,22 @@ "type": "indirect" } }, + "nixpkgs-oldstable": { + "locked": { + "lastModified": 1685314633, + "narHash": "sha256-8LXBPqTQXl5ofkjpJ18JcbmLJ/lWDoMxtUwiDYv0wro=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "c8a17ce7abc03c50cd072e9e6c9b389c5f61836b", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "release-22.11", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs-unstable": { "locked": { "lastModified": 1685012353, @@ -308,6 +324,7 @@ "isabelle-utils": "isabelle-utils", "nix-gleam": "nix-gleam", "nixpkgs": "nixpkgs", + "nixpkgs-oldstable": "nixpkgs-oldstable", "nixpkgs-unstable": "nixpkgs-unstable", "playground": "playground", "rust-overlay": "rust-overlay", @@ -4,6 +4,7 @@ inputs = { nixpkgs.url = "github:NixOS/nixpkgs/release-23.05"; nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixpkgs-unstable"; + nixpkgs-oldstable.url = "github:NixOS/nixpkgs/release-22.11"; home-manager.url = "github:nix-community/home-manager/master"; home-manager.inputs.nixpkgs.follows = "nixpkgs"; diff --git a/pkgs/overlay.nix b/pkgs/overlay.nix index 665f7f6..bd79564 100644 --- a/pkgs/overlay.nix +++ b/pkgs/overlay.nix @@ -2,7 +2,8 @@ self: super: let - unstable = inputs.nixpkgs-unstable.legacyPackages.${self.system}; # { inherit (self) system; }; + unstable = inputs.nixpkgs-unstable.legacyPackages.${self.system}; + oldstable = inputs.nixpkgs-oldstable.legacyPackages.${self.system}; crs-tools = self.callPackage ./crs-tools.nix {}; in { @@ -96,4 +97,5 @@ in src = inputs.bahnhof-name; }; + mu = oldstable.mu; } |