diff options
| author | Thomas Tuegel <ttuegel@gmail.com> | 2016-09-26 08:00:52 -0500 |
|---|---|---|
| committer | Thomas Tuegel <ttuegel@gmail.com> | 2016-09-26 08:00:52 -0500 |
| commit | 4636a5f958870166ca585f10ac6329707eaede17 (patch) | |
| tree | 77ae23b9f8f3caf35e77ced04bd7848815fd2a37 /pkgs/top-level/emacs-packages.nix | |
| parent | 44d012325924384e06be637705ca10fae0ba6ae4 (diff) | |
| download | nixpkgs-4636a5f958870166ca585f10ac6329707eaede17.tar nixpkgs-4636a5f958870166ca585f10ac6329707eaede17.tar.gz nixpkgs-4636a5f958870166ca585f10ac6329707eaede17.tar.bz2 nixpkgs-4636a5f958870166ca585f10ac6329707eaede17.tar.lz nixpkgs-4636a5f958870166ca585f10ac6329707eaede17.tar.xz nixpkgs-4636a5f958870166ca585f10ac6329707eaede17.tar.zst nixpkgs-4636a5f958870166ca585f10ac6329707eaede17.zip | |
emacs-idris-mode: 0.9.19 -> 0.9.19
Diffstat (limited to 'pkgs/top-level/emacs-packages.nix')
| -rw-r--r-- | pkgs/top-level/emacs-packages.nix | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/pkgs/top-level/emacs-packages.nix b/pkgs/top-level/emacs-packages.nix index c63101124fa..eb580e9fa78 100644 --- a/pkgs/top-level/emacs-packages.nix +++ b/pkgs/top-level/emacs-packages.nix @@ -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; |