From 88596a35405a76e292f387fd4f2397176f01d3fb Mon Sep 17 00:00:00 2001 From: Eloi Torrents Date: Tue, 17 Aug 2021 23:09:31 +0200 Subject: [PATCH 1/2] 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 " +license="Apache-2.0" +homepage="https://github.com/leanprover/lean" +distfiles="${homepage}/archive/v${version}.tar.gz" +checksum=ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87 From cc9096a1332cc56be0caf206d647f66407d4c1ea Mon Sep 17 00:00:00 2001 From: Eloi Torrents Date: Fri, 20 Aug 2021 08:55:27 +0200 Subject: [PATCH 2/2] New package: lean-3.4.2 --- srcpkgs/lean/template | 1 + 1 file changed, 1 insertion(+) diff --git a/srcpkgs/lean/template b/srcpkgs/lean/template index a6f161ce6ce8..5e516e88ea6b 100644 --- a/srcpkgs/lean/template +++ b/srcpkgs/lean/template @@ -14,3 +14,4 @@ license="Apache-2.0" homepage="https://github.com/leanprover/lean" distfiles="${homepage}/archive/v${version}.tar.gz" checksum=ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87 +nocross=yes