From 88596a35405a76e292f387fd4f2397176f01d3fb Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitorrentsj@gmail.com>
Date: Tue, 17 Aug 2021 23:09:31 +0200
Subject: [PATCH] New package: lean-3.4.2

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

diff --git a/srcpkgs/lean/template b/srcpkgs/lean/template
new file mode 100644
index 000000000000..a6f161ce6ce8
--- /dev/null
+++ b/srcpkgs/lean/template
@@ -0,0 +1,16 @@
+# Template file for 'lean'
+pkgname=lean
+version=3.4.2
+revision=1
+build_wrksrc=src
+build_style=cmake
+#make_cmd=ninja
+hostmakedepends="cmake 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"
+homepage="https://github.com/leanprover/lean"
+distfiles="${homepage}/archive/v${version}.tar.gz"
+checksum=ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87