diff --git a/flake.nix b/flake.nix index bd66a56c3..d0c786d16 100644 --- a/flake.nix +++ b/flake.nix @@ -1,9 +1,9 @@ { description = "Idris2 flake"; - inputs.flake-utils.url = github:numtide/flake-utils; + inputs.flake-utils.url = "github:numtide/flake-utils"; inputs.idris-emacs-src = { - url = github:redfish64/idris2-mode; + url = "github:redfish64/idris2-mode"; flake = false; }; diff --git a/nix/templates/pkg/flake.nix b/nix/templates/pkg/flake.nix index 2d91e0d52..f9a5b90b0 100644 --- a/nix/templates/pkg/flake.nix +++ b/nix/templates/pkg/flake.nix @@ -1,9 +1,9 @@ { description = "My Idris 2 package"; - inputs.flake-utils.url = github:numtide/flake-utils; + inputs.flake-utils.url = "github:numtide/flake-utils"; inputs.idris = { - url = github:idris-lang/Idris2; + url = "github:idris-lang/Idris2"; inputs.nixpkgs.follows = "nixpkgs"; inputs.flake-utils.follows = "flake-utils"; }; diff --git a/nix/templates/pkgWithDeps/flake.nix b/nix/templates/pkgWithDeps/flake.nix index 4c7ae8d80..40cbea85e 100644 --- a/nix/templates/pkgWithDeps/flake.nix +++ b/nix/templates/pkgWithDeps/flake.nix @@ -1,14 +1,14 @@ { description = "My Idris 2 package"; - inputs.flake-utils.url = github:numtide/flake-utils; + inputs.flake-utils.url = "github:numtide/flake-utils"; inputs.idris = { - url = github:idris-lang/Idris2; + url = "github:idris-lang/Idris2"; inputs.nixpkgs.follows = "nixpkgs"; inputs.flake-utils.follows = "flake-utils"; }; inputs.pkg = { - url = github:idris-lang/pkg; + url = "github:idris-lang/pkg"; inputs.flake-utils.follows = "flake-utils"; inputs.idris.follows = "idris"; };