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] 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