diff options
Diffstat (limited to 'flake.lock')
-rw-r--r-- | flake.lock | 17 |
1 files changed, 17 insertions, 0 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", |