From 1df6f0f085516da9787eb692952b5f680ac0a6d8 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Thu, 26 Nov 2020 01:10:17 +0100 Subject: 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 -- cgit v1.2.3