[PR PATCH] New package: lean-3.4.2

[PR PATCH] New package: lean-3.4.2

[Eloitor]

[-- Attachment #1: Type: text/plain, Size: 1570 bytes --]

There is a new pull request by Eloitor against master on the void-packages repository

https://github.com/Eloitor/void-packages lean
https://github.com/void-linux/void-packages/pull/32556

New package: lean-3.4.2
<!-- Mark items with [x] where applicable -->

#### General
- [x] This is a new package and it conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements)

#### Have the results of the proposed changes been tested?
- [ ] I use the packages affected by the proposed changes on a regular basis and confirm this PR works for me
- [ ] I generally don't use the affected packages but briefly tested this PR

<!--
If GitHub CI cannot be used to validate the build result (for example, if the
build is likely to take several hours), make sure to
[skip CI](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration).
When skipping CI, uncomment and fill out the following section.
Note: for builds that are likely to complete in less than 2 hours, it is not
acceptable to skip CI.
-->
#### Does it build and run successfully? 
(Please choose at least one native build and, if supported, at least one cross build. More are better.)
- [x] I built this PR locally for my native architecture, (ARCH-LIBC)
- [ ] I built this PR locally for these architectures (if supported. mark crossbuilds):
  - [ ] aarch64-musl
  - [ ] armv7l
  - [ ] armv6l-musl


A patch file from https://github.com/void-linux/void-packages/pull/32556.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-lean-32556.patch --]
[-- Type: text/x-diff, Size: 1005 bytes --]

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

Re: New package: lean-3.4.2

[ericonr]

[-- Attachment #1: Type: text/plain, Size: 214 bytes --]

New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/32556#issuecomment-900653873

Comment:
IRC suggestion to name this lean3, since 4 is supposedly coming out soon.

Re: New package: lean-3.4.2

[Chocimier]

[-- Attachment #1: Type: text/plain, Size: 204 bytes --]

New comment by Chocimier on void-packages repository

https://github.com/void-linux/void-packages/pull/32556#issuecomment-900673874

Comment:
Is there a reason to use this over maintained lean-community?

Re: New package: lean-3.4.2

[Eloitor]

[-- Attachment #1: Type: text/plain, Size: 380 bytes --]

New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/32556#issuecomment-900784816

Comment:

> Is there a reason to use this over maintained lean-community?

Not really. This is my first template that I try to write, and I got recommended that the official lean has more chances to be included in the repo than lean-community.

Re: New package: lean-3.4.2

[Eloitor]

[-- Attachment #1: Type: text/plain, Size: 379 bytes --]

New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/32556#issuecomment-900784816

Comment:
> Is there a reason to use this over maintained lean-community?

Not really. This is the first template that I try to write, and I got recommended that the official lean has more chances to be included in the repo than lean-community.

Re: New package: lean-3.4.2

[Eloitor]

[-- Attachment #1: Type: text/plain, Size: 229 bytes --]

New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/32556#issuecomment-900933468

Comment:
Should I also make a package for https://github.com/leanprover-community/mathlib-tools ?

Re: [PR PATCH] [Updated] New package: lean-3.4.2

[Eloitor]

[-- Attachment #1: Type: text/plain, Size: 1575 bytes --]

There is an updated pull request by Eloitor against master on the void-packages repository

https://github.com/Eloitor/void-packages lean
https://github.com/void-linux/void-packages/pull/32556

New package: lean-3.4.2
<!-- Mark items with [x] where applicable -->

#### General
- [x] This is a new package and it conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements)

#### Have the results of the proposed changes been tested?
- [ ] I use the packages affected by the proposed changes on a regular basis and confirm this PR works for me
- [ ] I generally don't use the affected packages but briefly tested this PR

<!--
If GitHub CI cannot be used to validate the build result (for example, if the
build is likely to take several hours), make sure to
[skip CI](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration).
When skipping CI, uncomment and fill out the following section.
Note: for builds that are likely to complete in less than 2 hours, it is not
acceptable to skip CI.
-->
#### Does it build and run successfully? 
(Please choose at least one native build and, if supported, at least one cross build. More are better.)
- [x] I built this PR locally for my native architecture, (ARCH-LIBC)
- [ ] I built this PR locally for these architectures (if supported. mark crossbuilds):
  - [ ] aarch64-musl
  - [ ] armv7l
  - [ ] armv6l-musl


A patch file from https://github.com/void-linux/void-packages/pull/32556.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-lean-32556.patch --]
[-- Type: text/x-diff, Size: 1659 bytes --]

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 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 <eloitorrentsj@gmail.com>"
+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 <eloi.torrentsj@gmail.com>
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

Re: [PR PATCH] [Updated] New package: lean-3.4.2

[Eloitor]

[-- Attachment #1: Type: text/plain, Size: 1575 bytes --]

There is an updated pull request by Eloitor against master on the void-packages repository

https://github.com/Eloitor/void-packages lean
https://github.com/void-linux/void-packages/pull/32556

New package: lean-3.4.2
<!-- Mark items with [x] where applicable -->

#### General
- [x] This is a new package and it conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements)

#### Have the results of the proposed changes been tested?
- [ ] I use the packages affected by the proposed changes on a regular basis and confirm this PR works for me
- [ ] I generally don't use the affected packages but briefly tested this PR

<!--
If GitHub CI cannot be used to validate the build result (for example, if the
build is likely to take several hours), make sure to
[skip CI](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration).
When skipping CI, uncomment and fill out the following section.
Note: for builds that are likely to complete in less than 2 hours, it is not
acceptable to skip CI.
-->
#### Does it build and run successfully? 
(Please choose at least one native build and, if supported, at least one cross build. More are better.)
- [x] I built this PR locally for my native architecture, (ARCH-LIBC)
- [ ] I built this PR locally for these architectures (if supported. mark crossbuilds):
  - [ ] aarch64-musl
  - [ ] armv7l
  - [ ] armv6l-musl


A patch file from https://github.com/void-linux/void-packages/pull/32556.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-lean-32556.patch --]
[-- Type: text/x-diff, Size: 1659 bytes --]

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 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 <eloitorrentsj@gmail.com>"
+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 <eloi.torrentsj@gmail.com>
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

Re: [PR PATCH] [Closed]: New package: lean-3.4.2

[Eloitor]

[-- Attachment #1: Type: text/plain, Size: 1422 bytes --]

There's a closed pull request on the void-packages repository

New package: lean-3.4.2
https://github.com/void-linux/void-packages/pull/32556

Description:
<!-- Mark items with [x] where applicable -->

#### General
- [x] This is a new package and it conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements)

#### Have the results of the proposed changes been tested?
- [ ] I use the packages affected by the proposed changes on a regular basis and confirm this PR works for me
- [ ] I generally don't use the affected packages but briefly tested this PR

<!--
If GitHub CI cannot be used to validate the build result (for example, if the
build is likely to take several hours), make sure to
[skip CI](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration).
When skipping CI, uncomment and fill out the following section.
Note: for builds that are likely to complete in less than 2 hours, it is not
acceptable to skip CI.
-->
#### Does it build and run successfully? 
(Please choose at least one native build and, if supported, at least one cross build. More are better.)
- [x] I built this PR locally for my native architecture, (ARCH-LIBC)
- [ ] I built this PR locally for these architectures (if supported. mark crossbuilds):
  - [ ] aarch64-musl
  - [ ] armv7l
  - [ ] armv6l-musl