From ea726bf658080a673da4e5d060146b02ad06ba64 Mon Sep 17 00:00:00 2001 From: adisbladis Date: Sun, 18 Aug 2019 17:02:41 +0100 Subject: [PATCH] emacs-packages: Remove maude from old emacs package infrastructure --- .../editors/emacs-modes/maude/default.nix | 20 ------------------- 1 file changed, 20 deletions(-) delete mode 100644 pkgs/applications/editors/emacs-modes/maude/default.nix diff --git a/pkgs/applications/editors/emacs-modes/maude/default.nix b/pkgs/applications/editors/emacs-modes/maude/default.nix deleted file mode 100644 index 9b737a938a12..000000000000 --- a/pkgs/applications/editors/emacs-modes/maude/default.nix +++ /dev/null @@ -1,20 +0,0 @@ -{stdenv, fetchurl, emacs}: - -stdenv.mkDerivation { - name = "maude-mode-0.2"; - - src = fetchurl { - url = "mirror://sourceforge/maude-mode/maude-mode-0.2.tar.gz"; - sha256 = "19jdd7la0bxxxnnq4ryckf63jykg0r3v92z126x6djaigi3xn1yx"; - }; - - buildInputs = [emacs]; - configureFlags = [ "--with-lispdir=$$out/share/emacs/site-lisp" ]; - - meta = { - description = "Emacs mode for the programming language Maude"; - license = stdenv.lib.licenses.gpl2; - platforms = stdenv.lib.platforms.all; - maintainers = [ stdenv.lib.maintainers.peti ]; - }; -}