From 014de47a4c25e6b3787bdc6ecc32a3837d817f31 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Sun, 30 Oct 2022 13:26:44 +0100 Subject: [PATCH] flake fix --- flake.nix | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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";