From 1df6f0f085516da9787eb692952b5f680ac0a6d8 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Thu, 26 Nov 2020 01:10:17 +0100
Subject: [PATCH] gnu: lean: Trim synopsis.

* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name.
---
 gnu/packages/lean.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm
index fa96fa096c..cc593291fd 100644
--- a/gnu/packages/lean.scm
+++ b/gnu/packages/lean.scm
@@ -66,7 +66,7 @@
                #t)))
          (add-before 'configure 'chdir-to-src
            (lambda _ (chdir "src") #t)))))
-    (synopsis "The Lean theorem prover and programming language")
+    (synopsis "Theorem prover and programming language")
     (description
      "Lean is a theorem prover and programming language with a small trusted
 core based on dependent typed theory, aiming to bridge the gap between