Compare commits

...

2 Commits

Author SHA1 Message Date
Egor Savkin 772fbb774c Use custom nix repo
Signed-off-by: Egor Savkin <es@m-labs.hk>
2023-04-21 16:14:51 +08:00
Egor Savkin fb9b4f0a20 Switch to the unstable nixos
Signed-off-by: Egor Savkin <es@m-labs.hk>
2023-04-20 16:58:14 +08:00
1 changed files with 1 additions and 1 deletions

View File

@ -1,7 +1,7 @@
{ {
description = "Bare-metal Rust on Zynq-7000"; description = "Bare-metal Rust on Zynq-7000";
inputs.nixpkgs.url = github:NixOS/nixpkgs/nixos-22.11; inputs.nixpkgs.url = github:thomasfire/nixpkgs/nixos-22.11;
inputs.mozilla-overlay = { url = github:mozilla/nixpkgs-mozilla; flake = false; }; inputs.mozilla-overlay = { url = github:mozilla/nixpkgs-mozilla; flake = false; };
outputs = { self, nixpkgs, mozilla-overlay }: outputs = { self, nixpkgs, mozilla-overlay }: