BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

emacs-idris-mode: 0.9.19 -> 0.9.19

Browse source
This commit is contained in:
Thomas Tuegel 2016-09-26 08:00:52 -05:00
parent 44d0123259
commit 4636a5f958
No known key found for this signature in database
GPG key ID: 22CBF5249D4B4D59
1 changed files with 0 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
pkgs/top-level/emacs-packages.nix
View file

@ -284,22 +284,6 @@ let
inherit (external.rtags) meta;
};
idris-mode = melpaBuild rec {
pname = "idris-mode";
version = "0.9.19";
src = fetchFromGitHub {
owner = "idris-hackers";
repo = "idris-mode";
rev = version;
sha256 = "0iwgbaq2797k1f7ql86i2pjfa67cha4s2v0mgmrd0qcgqkxsdq92";
};
packageRequires = [ prop-menu ];
meta = {
description = "Idris language support for Emacs";
license = gpl3Plus;
};
};
lcs = melpaBuild rec {
pname = "lcs";
version = circe.version;