04/07: gnu: lean: Trim synopsis.

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

commit 1df6f0f085516da9787eb692952b5f680ac0a6d8
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Thu Nov 26 01:10:17 2020 +0100

    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 fa96fa0..cc593291 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