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;