From 5ecfb3d0b7bc28197efc772bcbf6df4ec27bb5b1 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..2ce80e6bc1cd
--- /dev/null
+++ b/srcpkgs/lean-community/template
@@ -0,0 +1,17 @@
+# Template file for 'lean-community'
+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"
+short_desc="Lean Theorem Prover, maintained by the Lean community"
+maintainer="Eloi Torrents <eloitorrentsj@gmail.com>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/lean"
+distfiles="${homepage}/archive/v${version}.tar.gz"
+checksum=67acd4969baea6f4ed24dd7148ff10924c5de881fee133926414aeabf4cb53e2
+nocross=yes