Compare commits

...

2 Commits

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

View File

@ -1,7 +1,7 @@
{
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; };
outputs = { self, nixpkgs, mozilla-overlay }: