From edf4a2be7256ace1f4cd81039f12082dec272119 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 5 Mar 2021 16:58:01 +0100
Subject: [PATCH] chore: lean4-mode: remove obsolete dependency

---
 lean4-mode/README.md     | 2 +-
 lean4-mode/lean4-mode.el | 2 +-
 lean4-mode/lean4-util.el | 1 -
 nix/packages.nix         | 2 +-
 4 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/lean4-mode/README.md b/lean4-mode/README.md
index de6a7319ac..d8cdc98dc5 100644
--- a/lean4-mode/README.md
+++ b/lean4-mode/README.md
@@ -6,7 +6,7 @@ To use `lean4-mode` in Emacs, add the following to your `init.el`:
 ;; You need to modify the following line
 (setq load-path (cons "/path/to/lean4/lean4-mode" load-path))
 
-(setq lean4-mode-required-packages '(dash dash-functional f flycheck lsp-mode s))
+(setq lean4-mode-required-packages '(dash f flycheck lsp-mode s))
 
 (require 'package)
 (add-to-list 'package-archives '("melpa" . "http://melpa.org/packages/"))
diff --git a/lean4-mode/lean4-mode.el b/lean4-mode/lean4-mode.el
index 5fc375f5a2..eb2448f923 100644
--- a/lean4-mode/lean4-mode.el
+++ b/lean4-mode/lean4-mode.el
@@ -10,7 +10,7 @@
 ;; Maintainer: Sebastian Ullrich <sebasti@nullri.ch>
 ;; Created: Jan 09, 2014
 ;; Keywords: languages
-;; Package-Requires: ((emacs "24.3") (dash "2.12.0") (dash-functional "1.2.0") (s "1.10.0") (f "0.19.0") (flycheck "30"))
+;; Package-Requires: ((emacs "24.3") (dash "2.18.0") (s "1.10.0") (f "0.19.0") (flycheck "30"))
 ;; URL: https://github.com/leanprover/lean4-mode
 
 ;; Released under Apache 2.0 license as described in the file LICENSE.
diff --git a/lean4-mode/lean4-util.el b/lean4-mode/lean4-util.el
index fa42b920b5..10a5ef6a1d 100644
--- a/lean4-mode/lean4-util.el
+++ b/lean4-mode/lean4-util.el
@@ -8,7 +8,6 @@
 (require 'f)
 (require 's)
 (require 'dash)
-(require 'dash-functional)
 
 (defun lean4-setup-rootdir ()
   (let ((root (executable-find lean4-executable-name)))
diff --git a/nix/packages.nix b/nix/packages.nix
index aca6de7ee5..cca0cc2bd7 100644
--- a/nix/packages.nix
+++ b/nix/packages.nix
@@ -48,7 +48,7 @@ let
     pname = "lean4-mode";
     version = "1";
     src = ../lean4-mode;
-    packageRequires = with pkgs.emacsPackages.melpaPackages; [ dash dash-functional f flycheck lsp-mode s ];
+    packageRequires = with pkgs.emacsPackages.melpaPackages; [ dash f flycheck lsp-mode s ];
     recipe = pkgs.writeText "recipe" ''
       (lean4-mode :repo "leanprover/lean4" :fetcher github :files ("*.el"))
     '';