From e8b0001268fae60ca22eeb6e346443012f4766ff Mon Sep 17 00:00:00 2001
From: Pascal Wittmann <mail@pascal-wittmann.de>
Date: Tue, 4 Feb 2014 14:56:42 +0100
Subject: [PATCH] idris-mode: fixed link to homepage (merge #1671)

---
 pkgs/applications/editors/emacs-modes/idris/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/editors/emacs-modes/idris/default.nix b/pkgs/applications/editors/emacs-modes/idris/default.nix
index 7bd39cd2b4e..572ca8cdb22 100644
--- a/pkgs/applications/editors/emacs-modes/idris/default.nix
+++ b/pkgs/applications/editors/emacs-modes/idris/default.nix
@@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
 
   meta = {
     description = "Emacs major mode for Idris";
-    homepage = https://github.com/idris-hackers/idris-modehttps://github.com/idris-hackers/idris-mode;
+    homepage = https://github.com/idris-hackers/idris-mode;
     license = "GPLv3";
 
     platforms = stdenv.lib.platforms.all;