From 82cf4092b725cfac19b341ee6d1d8ff80bd84d61 Mon Sep 17 00:00:00 2001
From: zseri <zseri.devel@ytrizja.de>
Date: Tue, 22 Jun 2021 12:34:03 +0200
Subject: [PATCH] Nix: verbatim URLs are deprecated

References:
- https://nix.dev/anti-patterns/language#unquoted-urls
- https://github.com/NixOS/rfcs/pull/45
- https://github.com/NixOS/rfcs/blob/master/rfcs/0045-deprecate-url-syntax.md
---
 flake.nix                           | 4 ++--
 nix/templates/pkg/flake.nix         | 4 ++--
 nix/templates/pkgWithDeps/flake.nix | 6 +++---
 3 files changed, 7 insertions(+), 7 deletions(-)

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";
   };