diff --git a/flake.nix b/flake.nix index dc21bbe..adba1d9 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,7 @@ inputs = { nixpkgs.url = "nixpkgs/21.11"; - - flake-utils = { - url = "github:numtide/flake-utils"; - inputs.nixpkgs.follows = "nixpkgs"; - }; + flake-utils.url = "github:numtide/flake-utils"; idris2-pkgs = { url = "github:claymager/idris2-pkgs";