From c1000540e5be5c7633a57ac9df15b795c66ce3bc Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitorrentsj@gmail.com>
Date: Tue, 17 Aug 2021 19:50:00 +0200
Subject: [PATCH 1/4] new package: lean-community 3.32.1

---
 srcpkgs/lean-community/template | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 srcpkgs/lean-community/template

diff --git a/srcpkgs/lean-community/template b/srcpkgs/lean-community/template
new file mode 100644
index 000000000000..607e2c8e9e1e
--- /dev/null
+++ b/srcpkgs/lean-community/template
@@ -0,0 +1,17 @@
+# Template file for 'lean'
+pkgname=lean-community
+version=3.32.1
+revision=1
+wrksrc="lean-$version"
+build_wrksrc=src
+build_style=cmake
+make_cmd=ninja
+hostmakedepends="cmake ninja gmp"
+makedepends="gmp-devel"
+depends="gmp"
+short_desc="Lean Theorem Prover, maintained by the Lean community"
+maintainer="Eloi Torrents <eloitorrentsj@gmail.com>"
+license="Apache"
+homepage="https://github.com/leanprover-community/lean"
+distfiles="${homepage}/archive/v${version}.tar.gz"
+checksum=67acd4969baea6f4ed24dd7148ff10924c5de881fee133926414aeabf4cb53e2

From 021bb2f53ce1505f49118924f13fc1acacfe7327 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloi.torrentsj@gmail.com>
Date: Tue, 17 Aug 2021 23:48:23 +0200
Subject: [PATCH 2/4] Update template

---
 srcpkgs/lean-community/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/lean-community/template b/srcpkgs/lean-community/template
index 607e2c8e9e1e..d5fe118b2ab0 100644
--- a/srcpkgs/lean-community/template
+++ b/srcpkgs/lean-community/template
@@ -11,7 +11,7 @@ makedepends="gmp-devel"
 depends="gmp"
 short_desc="Lean Theorem Prover, maintained by the Lean community"
 maintainer="Eloi Torrents <eloitorrentsj@gmail.com>"
-license="Apache"
+license="Apache-2.0"
 homepage="https://github.com/leanprover-community/lean"
 distfiles="${homepage}/archive/v${version}.tar.gz"
 checksum=67acd4969baea6f4ed24dd7148ff10924c5de881fee133926414aeabf4cb53e2

From 4d4e5ea21a9b433010256419709382882e767fec Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloi.torrentsj@gmail.com>
Date: Wed, 18 Aug 2021 05:24:06 +0200
Subject: [PATCH 3/4] Update template

---
 srcpkgs/lean-community/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/lean-community/template b/srcpkgs/lean-community/template
index d5fe118b2ab0..ceef8d25f6e7 100644
--- a/srcpkgs/lean-community/template
+++ b/srcpkgs/lean-community/template
@@ -1,4 +1,4 @@
-# Template file for 'lean'
+# Template file for 'lean-community'
 pkgname=lean-community
 version=3.32.1
 revision=1

From db5386b1980049872401a469e553585485159e6b Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloi.torrentsj@gmail.com>
Date: Fri, 20 Aug 2021 00:01:51 +0200
Subject: [PATCH 4/4] New package: lean-community 3.32.1

---
 srcpkgs/lean-community/template | 1 -
 1 file changed, 1 deletion(-)

diff --git a/srcpkgs/lean-community/template b/srcpkgs/lean-community/template
index ceef8d25f6e7..61fa41a6e5e5 100644
--- a/srcpkgs/lean-community/template
+++ b/srcpkgs/lean-community/template
@@ -8,7 +8,6 @@ build_style=cmake
 make_cmd=ninja
 hostmakedepends="cmake ninja gmp"
 makedepends="gmp-devel"
-depends="gmp"
 short_desc="Lean Theorem Prover, maintained by the Lean community"
 maintainer="Eloi Torrents <eloitorrentsj@gmail.com>"
 license="Apache-2.0"