From 772fbb774c98e59d23ebe84f7836113ca9de0de3 Mon Sep 17 00:00:00 2001 From: Egor Savkin Date: Fri, 21 Apr 2023 15:25:24 +0800 Subject: [PATCH] Use custom nix repo Signed-off-by: Egor Savkin --- flake.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flake.nix b/flake.nix index cce24a3..9c03c6e 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "Bare-metal Rust on Zynq-7000"; - inputs.nixpkgs.url = github:NixOS/nixpkgs/nixos-unstable; + inputs.nixpkgs.url = github:thomasfire/nixpkgs/nixos-22.11; inputs.mozilla-overlay = { url = github:mozilla/nixpkgs-mozilla; flake = false; }; outputs = { self, nixpkgs, mozilla-overlay }: