diff options
Diffstat (limited to '')
-rw-r--r-- | flake.lock | 14 |
1 files changed, 5 insertions, 9 deletions
@@ -235,7 +235,7 @@ "type": "github" } }, - "nixpkgs-oldstable": { + "nixpkgs-22_11": { "locked": { "lastModified": 1688392541, "narHash": "sha256-lHrKvEkCPTUO+7tPfjIcb7Trk6k31rz18vkyqmkeJfY=", @@ -245,10 +245,9 @@ "type": "github" }, "original": { - "owner": "NixOS", - "ref": "release-22.11", - "repo": "nixpkgs", - "type": "github" + "id": "nixpkgs", + "ref": "nixos-22.11", + "type": "indirect" } }, "nixpkgs-unstable": { @@ -295,7 +294,6 @@ "isabelle-utils": "isabelle-utils", "nix-gleam": "nix-gleam", "nixpkgs": "nixpkgs", - "nixpkgs-oldstable": "nixpkgs-oldstable", "nixpkgs-unstable": "nixpkgs-unstable", "playground": "playground", "rust-overlay": "rust-overlay", @@ -353,9 +351,7 @@ "nixpkgs": [ "nixpkgs-unstable" ], - "nixpkgs-22_11": [ - "nixpkgs-oldstable" - ], + "nixpkgs-22_11": "nixpkgs-22_11", "nixpkgs-23_05": [ "nixpkgs" ], |