From 34de04149e17c1c15976fd4bfdc4490b240a59fc Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 27 Jun 2014 10:46:13 -0700
Subject: [PATCH] twelf: Fix the source URL

---
 pkgs/applications/science/logic/twelf/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/twelf/default.nix b/pkgs/applications/science/logic/twelf/default.nix
index f5d2d44df425..1079c3783218 100644
--- a/pkgs/applications/science/logic/twelf/default.nix
+++ b/pkgs/applications/science/logic/twelf/default.nix
@@ -5,7 +5,7 @@ stdenv.mkDerivation rec {
   version = "1.7.1";
 
   src = fetchurl {
-    url = "//twelf.plparty.org/releases/twelf-src-1.7.1.tar.gz";
+    url = "http://twelf.plparty.org/releases/twelf-src-${version}.tar.gz";
     sha256 = "0fi1kbs9hrdrm1x4k13angpjasxlyd1gc3ys8ah54i75qbcd9c4i";
   };