From c1000540e5be5c7633a57ac9df15b795c66ce3bc Mon Sep 17 00:00:00 2001 From: Eloi Torrents Date: Tue, 17 Aug 2021 19:50:00 +0200 Subject: [PATCH 1/2] 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 " +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 Date: Tue, 17 Aug 2021 23:48:23 +0200 Subject: [PATCH 2/2] 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 " -license="Apache" +license="Apache-2.0" homepage="https://github.com/leanprover-community/lean" distfiles="${homepage}/archive/v${version}.tar.gz" checksum=67acd4969baea6f4ed24dd7148ff10924c5de881fee133926414aeabf4cb53e2