I pulled 46c65613 and tried `nix build .#checks.x86_64-linux.nova-x86`

but I got:
error: unexpected flake input attribute 'uri', at
/nix/store/3r3000m61d24kv399h6znqg2cgb9qyq8-source/flake.nix:8:3

based on https://www.tweag.io/blog/2020-05-25-flakes/ looks like it
should be url; I'm having better luck with this patch:

genodepkgs$ git diff
diff --git a/flake.nix b/flake.nix
index d895817..4fba9f7 100644
--- a/flake.nix
+++ b/flake.nix
@@ -5,7 +5,7 @@

   description = "Genode packages";

-  inputs.nixpkgs.uri = "github:ehmry/nixpkgs?ref=genode";
+  inputs.nixpkgs.url = "github:ehmry/nixpkgs?ref=genode";

   outputs = { self, nixpkgs }:
     let


-- 
Dan Connolly
http://www.madmode.com/

Thansk for noticing, fixed at e3e5528569fe829a5b57888c6ffe3842ec639626.

On Sunday, 31 May, 2020 7:13:47 AM IST, Dan Connolly wrote:
> I pulled 46c65613 and tried `nix build .#checks.x86_64-linux.nova-x86`
>
> but I got:
> error: unexpected flake input attribute 'uri', at
> /nix/store/3r3000m61d24kv399h6znqg2cgb9qyq8-source/flake.nix:8:3
>
> based on https://www.tweag.io/blog/2020-05-25-flakes/ looks like it
> should be url; I'm having better luck with this patch:
>
> genodepkgs$ git diff
> diff --git a/flake.nix b/flake.nix
> index d895817..4fba9f7 100644
> --- a/flake.nix
> +++ b/flake.nix
> @@ -5,7 +5,7 @@
>
>    description = "Genode packages";
>
> -  inputs.nixpkgs.uri = "github:ehmry/nixpkgs?ref=genode";
> +  inputs.nixpkgs.url = "github:ehmry/nixpkgs?ref=genode";
>
>    outputs = { self, nixpkgs }:
>      let
>
>