1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix
index 42963fe5f9c..e5941a35fd5 100644
--- a/pkgs/applications/science/logic/vampire/default.nix
+++ b/pkgs/applications/science/logic/vampire/default.nix
@@ -19,19 +19,19 @@ stdenv.mkDerivation rec {
     # https://github.com/vprover/vampire/pull/54
     (fetchpatch {
       name = "fix-apple-cygwin-defines.patch";
-      url = https://github.com/vprover/vampire/pull/54.patch;
+      url = "https://github.com/vprover/vampire/pull/54.patch";
       sha256 = "0i6nrc50wlg1dqxq38lkpx4rmfb3lf7s8f95l4jkvqp0nxa20cza";
     })
     # https://github.com/vprover/vampire/pull/55
     (fetchpatch {
       name = "fix-wait-any.patch";
-      url = https://github.com/vprover/vampire/pull/55.patch;
+      url = "https://github.com/vprover/vampire/pull/55.patch";
       sha256 = "1pwfpwpl23bqsgkmmvw6bnniyvp5j9v8l3z9s9pllfabnfcrcz9l";
     })
     # https://github.com/vprover/vampire/pull/56
     (fetchpatch {
       name = "fenv.patch";
-      url = https://github.com/vprover/vampire/pull/56.patch;
+      url = "https://github.com/vprover/vampire/pull/56.patch";
       sha256 = "0xl3jcyqmk146mg3qj5hdd0pbja6wbq3250zmfhbxqrjh40mm40g";
     })
   ];