* [PR PATCH] [WIP] New package: mathlibtools-1.1.1
@ 2022-05-27 20:43 Eloitor
2022-05-27 20:47 ` [PR PATCH] [Updated] " Eloitor
` (18 more replies)
0 siblings, 19 replies; 20+ messages in thread
From: Eloitor @ 2022-05-27 20:43 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2335 bytes --]
There is a new pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
[WIP] New package: mathlibtools-1.1.1
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install elan following the instructions from https://leanprover-community.github.io/install/linux.html
2. Install mathlibtools from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 4268 bytes --]
From 9db625e1c625a17b0d8a1babaf7ad9d08aeacd4d Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Fri, 27 May 2022 22:32:09 +0200
Subject: [PATCH] New package: mathlibtools-1.1.1
---
srcpkgs/mathlibtools/template | 18 ++++++++++++++++++
srcpkgs/python3-Deprecated/template | 19 +++++++++++++++++++
srcpkgs/python3-PyGithub/template | 15 +++++++++++++++
srcpkgs/python3-pydot/template | 19 +++++++++++++++++++
4 files changed, 71 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
create mode 100644 srcpkgs/python3-Deprecated/template
create mode 100644 srcpkgs/python3-PyGithub/template
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..842bea5e92dd
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.1.1
+revision=1
+wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=fb63decc61f508d62edae40aa193d6607736fafda68b15c02d499d70ef9af18c
diff --git a/srcpkgs/python3-Deprecated/template b/srcpkgs/python3-Deprecated/template
new file mode 100644
index 000000000000..e5faafd9d803
--- /dev/null
+++ b/srcpkgs/python3-Deprecated/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-Deprecated'
+pkgname=python3-Deprecated
+version=1.2.13
+revision=1
+wrksrc=deprecated-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-wrapt"
+checkdepends="$depends python3-pytest"
+short_desc="Decorator to deprecate old python classes"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/tantale/deprecated"
+distfiles="https://github.com/tantale/deprecated/archive/v${version}.tar.gz"
+checksum=771e20e93bb4bc497bd9955829d36074dd7608962846c0b34a92ff68ed7ebad9
+
+post_install() {
+ vlicense LICENSE.rst
+}
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..29e1d913c678
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,15 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.55
+revision=1
+wrksrc=PyGithub-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-Deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=c674e5cceba1f2cf0d7ea79da66cf31f1131e86c41cd66a2330890f74327c0e1
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..5fff2b15fb5c
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+wrksrc=pydot-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Updated] [WIP] New package: mathlibtools-1.1.1
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
@ 2022-05-27 20:47 ` Eloitor
2022-05-27 20:56 ` Eloitor
` (17 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-05-27 20:47 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2340 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
[WIP] New package: mathlibtools-1.1.1
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install elan following the instructions from https://leanprover-community.github.io/install/linux.html
2. Install mathlibtools from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 5274 bytes --]
From b3e5d36559da8369aedd035b3fcd0974abf45a12 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Fri, 27 May 2022 22:32:09 +0200
Subject: [PATCH] New package: mathlibtools-1.1.1
---
srcpkgs/mathlibtools/template | 18 ++++++++++++++++++
srcpkgs/python3-Deprecated/template | 19 +++++++++++++++++++
srcpkgs/python3-PyGithub/template | 15 +++++++++++++++
srcpkgs/python3-httpretty/template | 20 ++++++++++++++++++++
srcpkgs/python3-pydot/template | 19 +++++++++++++++++++
5 files changed, 91 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
create mode 100644 srcpkgs/python3-Deprecated/template
create mode 100644 srcpkgs/python3-PyGithub/template
create mode 100644 srcpkgs/python3-httpretty/template
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..842bea5e92dd
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.1.1
+revision=1
+wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=fb63decc61f508d62edae40aa193d6607736fafda68b15c02d499d70ef9af18c
diff --git a/srcpkgs/python3-Deprecated/template b/srcpkgs/python3-Deprecated/template
new file mode 100644
index 000000000000..e5faafd9d803
--- /dev/null
+++ b/srcpkgs/python3-Deprecated/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-Deprecated'
+pkgname=python3-Deprecated
+version=1.2.13
+revision=1
+wrksrc=deprecated-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-wrapt"
+checkdepends="$depends python3-pytest"
+short_desc="Decorator to deprecate old python classes"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/tantale/deprecated"
+distfiles="https://github.com/tantale/deprecated/archive/v${version}.tar.gz"
+checksum=771e20e93bb4bc497bd9955829d36074dd7608962846c0b34a92ff68ed7ebad9
+
+post_install() {
+ vlicense LICENSE.rst
+}
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..29e1d913c678
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,15 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.55
+revision=1
+wrksrc=PyGithub-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-Deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=c674e5cceba1f2cf0d7ea79da66cf31f1131e86c41cd66a2330890f74327c0e1
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..7cf1eb86bb7f
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,20 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+wrksrc=HTTPretty-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+ vlicense COPYING
+}
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..5fff2b15fb5c
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+wrksrc=pydot-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [WIP] New package: mathlibtools-1.1.1
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
2022-05-27 20:47 ` [PR PATCH] [Updated] " Eloitor
@ 2022-05-27 20:56 ` Eloitor
2022-05-27 21:04 ` Eloitor
` (16 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-05-27 20:56 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 444 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/37315#issuecomment-1140033766
Comment:
Sometimes I get this other error when running the same command as above:
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
[Errno 2] No such file or directory: 'leanpkg'
```
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [WIP] New package: mathlibtools-1.1.1
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
2022-05-27 20:47 ` [PR PATCH] [Updated] " Eloitor
2022-05-27 20:56 ` Eloitor
@ 2022-05-27 21:04 ` Eloitor
2022-05-28 14:17 ` Eloitor
` (15 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-05-27 21:04 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 444 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/37315#issuecomment-1140033766
Comment:
Sometimes I get this other error when running the same command as above:
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
[Errno 2] No such file or directory: 'leanpkg'
```
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [WIP] New package: mathlibtools-1.1.1
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (2 preceding siblings ...)
2022-05-27 21:04 ` Eloitor
@ 2022-05-28 14:17 ` Eloitor
2022-08-08 17:57 ` Eloitor
` (14 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-05-28 14:17 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 583 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/37315#issuecomment-1140273552
Comment:
This error also appears when running `leanproject get leanprover-community/tutorials`. Maybe the repo https://github.com/leanprover-community/tutorials has some problem...
Using `leanproject get mmasdeu/topologygame` everything works as expected. After following the steps mentioned above, opening the cloned repo in vscode and installing the lean extension, it loads the cached oleans instantly.
So I think that this package works ok.
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [WIP] New package: mathlibtools-1.1.1
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (3 preceding siblings ...)
2022-05-28 14:17 ` Eloitor
@ 2022-08-08 17:57 ` Eloitor
2022-09-23 21:36 ` [PR PATCH] [Updated] " Eloitor
` (13 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-08-08 17:57 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 196 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/37315#issuecomment-1208434184
Comment:
Should I rename this package to `pyhon3-mathlibtools`?
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Updated] New package: mathlibtools-1.1.1
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (4 preceding siblings ...)
2022-08-08 17:57 ` Eloitor
@ 2022-09-23 21:36 ` Eloitor
2022-11-16 18:03 ` [PR PATCH] [Updated] New package: mathlibtools-1.1.2 Eloitor
` (12 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-09-23 21:36 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2439 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
New package: mathlibtools-1.1.1
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install `elan` following the instructions from https://leanprover-community.github.io/install/linux.html
2. run `source $HOME/.elan/env`
3. Install `mathlibtools` from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
Update: This also happens with mathlibtools installed from pipx...
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 5305 bytes --]
From 57a69a401d5f9df74d9bf1b6cf3292e6210175fa Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Fri, 27 May 2022 22:32:09 +0200
Subject: [PATCH] New package: mathlibtools-1.1.1
mathlibtools: update to 1.1.2.
---
srcpkgs/mathlibtools/template | 18 ++++++++++++++++++
srcpkgs/python3-Deprecated/template | 19 +++++++++++++++++++
srcpkgs/python3-PyGithub/template | 15 +++++++++++++++
srcpkgs/python3-httpretty/template | 20 ++++++++++++++++++++
srcpkgs/python3-pydot/template | 19 +++++++++++++++++++
5 files changed, 91 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
create mode 100644 srcpkgs/python3-Deprecated/template
create mode 100644 srcpkgs/python3-PyGithub/template
create mode 100644 srcpkgs/python3-httpretty/template
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..ef863bed969d
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.1.2
+revision=1
+wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=15c1ee70255ef3d1ad707f58e8bc048a222b78b204e3e2eb054e0bc08bed7e03
diff --git a/srcpkgs/python3-Deprecated/template b/srcpkgs/python3-Deprecated/template
new file mode 100644
index 000000000000..e5faafd9d803
--- /dev/null
+++ b/srcpkgs/python3-Deprecated/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-Deprecated'
+pkgname=python3-Deprecated
+version=1.2.13
+revision=1
+wrksrc=deprecated-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-wrapt"
+checkdepends="$depends python3-pytest"
+short_desc="Decorator to deprecate old python classes"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/tantale/deprecated"
+distfiles="https://github.com/tantale/deprecated/archive/v${version}.tar.gz"
+checksum=771e20e93bb4bc497bd9955829d36074dd7608962846c0b34a92ff68ed7ebad9
+
+post_install() {
+ vlicense LICENSE.rst
+}
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..29e1d913c678
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,15 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.55
+revision=1
+wrksrc=PyGithub-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-Deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=c674e5cceba1f2cf0d7ea79da66cf31f1131e86c41cd66a2330890f74327c0e1
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..7cf1eb86bb7f
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,20 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+wrksrc=HTTPretty-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+ vlicense COPYING
+}
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..5fff2b15fb5c
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+wrksrc=pydot-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Updated] New package: mathlibtools-1.1.2
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (5 preceding siblings ...)
2022-09-23 21:36 ` [PR PATCH] [Updated] " Eloitor
@ 2022-11-16 18:03 ` Eloitor
2022-11-16 18:04 ` Eloitor
` (11 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-11-16 18:03 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2439 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
New package: mathlibtools-1.1.2
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install `elan` following the instructions from https://leanprover-community.github.io/install/linux.html
2. run `source $HOME/.elan/env`
3. Install `mathlibtools` from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
Update: This also happens with mathlibtools installed from pipx...
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 6277 bytes --]
From 5d13b3ea4ef1f4a6dd73433da48d4fa67c403067 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:08:57 +0100
Subject: [PATCH 1/5] New package: mathlibtools-1.2.0
---
srcpkgs/mathlibtools/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..64de645d5815
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.2.0
+revision=1
+wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git tox python3-wheel"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=bf46b3822370705b88225236490836660ec8256c369fc1639d4cf19a33164f82
From 35178e60dd0c69d36acf7ffdab17acda92a50a45 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:05 +0100
Subject: [PATCH 2/5] New package: python3-Deprecated-1.2.13
---
srcpkgs/python3-Deprecated/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/python3-Deprecated/template
diff --git a/srcpkgs/python3-Deprecated/template b/srcpkgs/python3-Deprecated/template
new file mode 100644
index 000000000000..e5faafd9d803
--- /dev/null
+++ b/srcpkgs/python3-Deprecated/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-Deprecated'
+pkgname=python3-Deprecated
+version=1.2.13
+revision=1
+wrksrc=deprecated-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-wrapt"
+checkdepends="$depends python3-pytest"
+short_desc="Decorator to deprecate old python classes"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/tantale/deprecated"
+distfiles="https://github.com/tantale/deprecated/archive/v${version}.tar.gz"
+checksum=771e20e93bb4bc497bd9955829d36074dd7608962846c0b34a92ff68ed7ebad9
+
+post_install() {
+ vlicense LICENSE.rst
+}
From d34e40a4ccd59607b011448aaa716d5846e9cc48 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:20 +0100
Subject: [PATCH 3/5] New package: python3-PyGithub-1.57
---
srcpkgs/python3-PyGithub/template | 15 +++++++++++++++
1 file changed, 15 insertions(+)
create mode 100644 srcpkgs/python3-PyGithub/template
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..5f38b3e5e585
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,15 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.57
+revision=1
+wrksrc=PyGithub-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-Deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=989f30d123eb86c27e69c23ce8f72c3a3391f1e66ecb54ee8cd033242d7aa064
From 6b1e6607f8d9c74659a4df32d2c50377fc9ff15d Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:54 +0100
Subject: [PATCH 4/5] New package: python3-httpretty-1.1.4
---
srcpkgs/python3-httpretty/template | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
create mode 100644 srcpkgs/python3-httpretty/template
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..7cf1eb86bb7f
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,20 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+wrksrc=HTTPretty-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+ vlicense COPYING
+}
From b142ff0b64fb55e158f91455c858ce1c69f5bae6 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:10:09 +0100
Subject: [PATCH 5/5] New package: python3-pydot-1.4.2
---
srcpkgs/python3-pydot/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..5fff2b15fb5c
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+wrksrc=pydot-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: New package: mathlibtools-1.1.2
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (6 preceding siblings ...)
2022-11-16 18:03 ` [PR PATCH] [Updated] New package: mathlibtools-1.1.2 Eloitor
@ 2022-11-16 18:04 ` Eloitor
2022-11-16 18:12 ` [PR PATCH] [Updated] " Eloitor
` (10 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-11-16 18:04 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 333 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/37315#issuecomment-1317437648
Comment:
The version here is 1.3.0: https://pypi.org/project/mathlibtools/
but the version in the github repo is 1.2.0: https://github.com/leanprover-community/mathlib-tools/tags
What should I do?
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Updated] New package: mathlibtools-1.1.2
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (7 preceding siblings ...)
2022-11-16 18:04 ` Eloitor
@ 2022-11-16 18:12 ` Eloitor
2022-11-16 18:14 ` Eloitor
` (9 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-11-16 18:12 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2439 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
New package: mathlibtools-1.1.2
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install `elan` following the instructions from https://leanprover-community.github.io/install/linux.html
2. run `source $HOME/.elan/env`
3. Install `mathlibtools` from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
Update: This also happens with mathlibtools installed from pipx...
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 4981 bytes --]
From 00825971e6cc52805127eba2cadd0f7778b37f67 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:20 +0100
Subject: [PATCH 1/4] New package: python3-PyGithub-1.57
---
srcpkgs/python3-PyGithub/template | 14 ++++++++++++++
1 file changed, 14 insertions(+)
create mode 100644 srcpkgs/python3-PyGithub/template
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..9348078210f8
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,14 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.57
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-Deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=989f30d123eb86c27e69c23ce8f72c3a3391f1e66ecb54ee8cd033242d7aa064
From f130c193671f6eb96c4de1b4554e99914700399c Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:54 +0100
Subject: [PATCH 2/4] New package: python3-httpretty-1.1.4
---
srcpkgs/python3-httpretty/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/python3-httpretty/template
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..e888665e75e5
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+ vlicense COPYING
+}
From 2239949b14ea9519de34b198bc606f0c0145b2da Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:10:09 +0100
Subject: [PATCH 3/4] New package: python3-pydot-1.4.2
---
srcpkgs/python3-pydot/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..971d3e288f74
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,18 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
From aaebd8f381ff3c0615a8e6c758a3ac968e646ec0 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:08:57 +0100
Subject: [PATCH 4/4] New package: mathlibtools-1.2.0
---
srcpkgs/mathlibtools/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..e9613b87f2d5
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.2.0
+revision=1
+# wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git tox python3-wheel"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=bf46b3822370705b88225236490836660ec8256c369fc1639d4cf19a33164f82
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Updated] New package: mathlibtools-1.1.2
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (8 preceding siblings ...)
2022-11-16 18:12 ` [PR PATCH] [Updated] " Eloitor
@ 2022-11-16 18:14 ` Eloitor
2022-11-16 22:12 ` New package: mathlibtools-1.2.0 Eloitor
` (8 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-11-16 18:14 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2439 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
New package: mathlibtools-1.1.2
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install `elan` following the instructions from https://leanprover-community.github.io/install/linux.html
2. run `source $HOME/.elan/env`
3. Install `mathlibtools` from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
Update: This also happens with mathlibtools installed from pipx...
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 4981 bytes --]
From 24c57944e1740d6a9f1281bbd5ef12baaf3e1c1c Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:20 +0100
Subject: [PATCH 1/4] New package: python3-PyGithub-1.57
---
srcpkgs/python3-PyGithub/template | 14 ++++++++++++++
1 file changed, 14 insertions(+)
create mode 100644 srcpkgs/python3-PyGithub/template
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..5355f2de9671
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,14 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.57
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=989f30d123eb86c27e69c23ce8f72c3a3391f1e66ecb54ee8cd033242d7aa064
From 213d8adec9fc55d4564c18f05ecb81bc1125baed Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:54 +0100
Subject: [PATCH 2/4] New package: python3-httpretty-1.1.4
---
srcpkgs/python3-httpretty/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/python3-httpretty/template
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..e888665e75e5
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+ vlicense COPYING
+}
From dc110c9f18aa3db6b673fe5545aaa86e1e673f20 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:10:09 +0100
Subject: [PATCH 3/4] New package: python3-pydot-1.4.2
---
srcpkgs/python3-pydot/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..971d3e288f74
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,18 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
From 8b85871203d75623b5d36500c8d2ad8250fd37dd Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:08:57 +0100
Subject: [PATCH 4/4] New package: mathlibtools-1.2.0
---
srcpkgs/mathlibtools/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..e9613b87f2d5
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.2.0
+revision=1
+# wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git tox python3-wheel"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=bf46b3822370705b88225236490836660ec8256c369fc1639d4cf19a33164f82
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: New package: mathlibtools-1.2.0
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (9 preceding siblings ...)
2022-11-16 18:14 ` Eloitor
@ 2022-11-16 22:12 ` Eloitor
2022-12-05 22:39 ` Eloitor
` (7 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-11-16 22:12 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 324 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/37315#issuecomment-1317739624
Comment:
The tests fail with ` FileNotFoundError: [Errno 2] No such file or directory: 'leanproject'` However when I install the package locally I get leanproject installed. What's happening?
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: New package: mathlibtools-1.2.0
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (10 preceding siblings ...)
2022-11-16 22:12 ` New package: mathlibtools-1.2.0 Eloitor
@ 2022-12-05 22:39 ` Eloitor
2022-12-05 22:57 ` [PR PATCH] [Updated] " Eloitor
` (6 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-12-05 22:39 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 333 bytes --]
New comment by Eloitor on void-packages repository
https://github.com/void-linux/void-packages/pull/37315#issuecomment-1317437648
Comment:
The version here is 1.3.0: https://pypi.org/project/mathlibtools/
but the version in the github repo is 1.2.0: https://github.com/leanprover-community/mathlib-tools/tags
What should I do?
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Updated] New package: mathlibtools-1.2.0
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (11 preceding siblings ...)
2022-12-05 22:39 ` Eloitor
@ 2022-12-05 22:57 ` Eloitor
2023-01-16 15:48 ` [PR PATCH] [Updated] New package: mathlibtools-1.3.1 Eloitor
` (5 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2022-12-05 22:57 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2439 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
New package: mathlibtools-1.2.0
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install `elan` following the instructions from https://leanprover-community.github.io/install/linux.html
2. run `source $HOME/.elan/env`
3. Install `mathlibtools` from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
Update: This also happens with mathlibtools installed from pipx...
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 4981 bytes --]
From 6a29c0543cc4e69f97f4dd30ee3b080423d5530b Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:20 +0100
Subject: [PATCH 1/4] New package: python3-PyGithub-1.57
---
srcpkgs/python3-PyGithub/template | 14 ++++++++++++++
1 file changed, 14 insertions(+)
create mode 100644 srcpkgs/python3-PyGithub/template
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..5355f2de9671
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,14 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.57
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=989f30d123eb86c27e69c23ce8f72c3a3391f1e66ecb54ee8cd033242d7aa064
From 0088e5bae8c253a607030856b3141f8d816b9638 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:54 +0100
Subject: [PATCH 2/4] New package: python3-httpretty-1.1.4
---
srcpkgs/python3-httpretty/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/python3-httpretty/template
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..e888665e75e5
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+ vlicense COPYING
+}
From 5336470ffe62b6957e8373be6063cc30357562bf Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:10:09 +0100
Subject: [PATCH 3/4] New package: python3-pydot-1.4.2
---
srcpkgs/python3-pydot/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..971d3e288f74
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,18 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
From 664933b3f2406456fe8fc7a852d72c0990f55fc2 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:08:57 +0100
Subject: [PATCH 4/4] New package: mathlibtools-1.3.1
---
srcpkgs/mathlibtools/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..65ccc296ab0a
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.3.1
+revision=1
+# wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git tox python3-wheel"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=2b4ceb457c68aa9bf82910e52bfd6eba0d11e57a69a17ed56e5bd49cca72329a
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Updated] New package: mathlibtools-1.3.1
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (12 preceding siblings ...)
2022-12-05 22:57 ` [PR PATCH] [Updated] " Eloitor
@ 2023-01-16 15:48 ` Eloitor
2023-01-19 14:55 ` [PR PATCH] [Updated] New package: mathlibtools-1.3.2 Eloitor
` (4 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2023-01-16 15:48 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2439 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
New package: mathlibtools-1.3.1
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install `elan` following the instructions from https://leanprover-community.github.io/install/linux.html
2. run `source $HOME/.elan/env`
3. Install `mathlibtools` from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
Update: This also happens with mathlibtools installed from pipx...
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 5009 bytes --]
From ae9bb1a8778886b7f3c858dd8ec17174f00702d1 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:20 +0100
Subject: [PATCH 1/4] New package: python3-PyGithub-1.57
---
srcpkgs/python3-PyGithub/template | 14 ++++++++++++++
1 file changed, 14 insertions(+)
create mode 100644 srcpkgs/python3-PyGithub/template
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..5355f2de9671
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,14 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.57
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=989f30d123eb86c27e69c23ce8f72c3a3391f1e66ecb54ee8cd033242d7aa064
From 09fc8365001bf941b06e23d0936cea9a09797695 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:54 +0100
Subject: [PATCH 2/4] New package: python3-httpretty-1.1.4
---
srcpkgs/python3-httpretty/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/python3-httpretty/template
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..e888665e75e5
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+ vlicense COPYING
+}
From 7d87b23cc6c167032a4b1dcd5ddce384d374c312 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:10:09 +0100
Subject: [PATCH 3/4] New package: python3-pydot-1.4.2
---
srcpkgs/python3-pydot/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..971d3e288f74
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,18 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
From 6fe57fb5eb8bd50df6af8a060e3b53b2208c47a3 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:08:57 +0100
Subject: [PATCH 4/4] New package: mathlibtools-1.3.2
---
srcpkgs/mathlibtools/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..2ab3d82f7e83
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.3.2
+revision=1
+# wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git tox python3-wheel"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=edf6eb94d73f3c33ebcdffbc2790aaafa423fd06b77974519bbd244b93713310
\ No newline at end of file
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Updated] New package: mathlibtools-1.3.2
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (13 preceding siblings ...)
2023-01-16 15:48 ` [PR PATCH] [Updated] New package: mathlibtools-1.3.1 Eloitor
@ 2023-01-19 14:55 ` Eloitor
2023-04-20 1:51 ` github-actions
` (3 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2023-01-19 14:55 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2439 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
New package: mathlibtools-1.3.2
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install `elan` following the instructions from https://leanprover-community.github.io/install/linux.html
2. run `source $HOME/.elan/env`
3. Install `mathlibtools` from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
Update: This also happens with mathlibtools installed from pipx...
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 4981 bytes --]
From ae9bb1a8778886b7f3c858dd8ec17174f00702d1 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:20 +0100
Subject: [PATCH 1/4] New package: python3-PyGithub-1.57
---
srcpkgs/python3-PyGithub/template | 14 ++++++++++++++
1 file changed, 14 insertions(+)
create mode 100644 srcpkgs/python3-PyGithub/template
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..5355f2de9671
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,14 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.57
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=989f30d123eb86c27e69c23ce8f72c3a3391f1e66ecb54ee8cd033242d7aa064
From 09fc8365001bf941b06e23d0936cea9a09797695 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:54 +0100
Subject: [PATCH 2/4] New package: python3-httpretty-1.1.4
---
srcpkgs/python3-httpretty/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/python3-httpretty/template
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..e888665e75e5
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+ vlicense COPYING
+}
From 7d87b23cc6c167032a4b1dcd5ddce384d374c312 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:10:09 +0100
Subject: [PATCH 3/4] New package: python3-pydot-1.4.2
---
srcpkgs/python3-pydot/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..971d3e288f74
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,18 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
From 167db6ffbbe0e8ac7b2b6514c458925e595b1c3e Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:08:57 +0100
Subject: [PATCH 4/4] New package: mathlibtools-1.3.2
---
srcpkgs/mathlibtools/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..b14e85416cf6
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.3.2
+revision=1
+# wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git tox python3-wheel"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=edf6eb94d73f3c33ebcdffbc2790aaafa423fd06b77974519bbd244b93713310
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: New package: mathlibtools-1.3.2
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (14 preceding siblings ...)
2023-01-19 14:55 ` [PR PATCH] [Updated] New package: mathlibtools-1.3.2 Eloitor
@ 2023-04-20 1:51 ` github-actions
2023-04-20 11:52 ` [PR PATCH] [Updated] " Eloitor
` (2 subsequent siblings)
18 siblings, 0 replies; 20+ messages in thread
From: github-actions @ 2023-04-20 1:51 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 305 bytes --]
New comment by github-actions[bot] on void-packages repository
https://github.com/void-linux/void-packages/pull/37315#issuecomment-1515600359
Comment:
Pull Requests become stale 90 days after last activity and are closed 14 days after that. If this pull request is still relevant bump it or assign it.
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Updated] New package: mathlibtools-1.3.2
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (15 preceding siblings ...)
2023-04-20 1:51 ` github-actions
@ 2023-04-20 11:52 ` Eloitor
2023-07-20 1:53 ` github-actions
2023-08-04 1:50 ` [PR PATCH] [Closed]: " github-actions
18 siblings, 0 replies; 20+ messages in thread
From: Eloitor @ 2023-04-20 11:52 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2439 bytes --]
There is an updated pull request by Eloitor against master on the void-packages repository
https://github.com/Eloitor/void-packages mathlibtools
https://github.com/void-linux/void-packages/pull/37315
New package: mathlibtools-1.3.2
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install `elan` following the instructions from https://leanprover-community.github.io/install/linux.html
2. run `source $HOME/.elan/env`
3. Install `mathlibtools` from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
Update: This also happens with mathlibtools installed from pipx...
A patch file from https://github.com/void-linux/void-packages/pull/37315.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-mathlibtools-37315.patch --]
[-- Type: text/x-diff, Size: 4940 bytes --]
From bb7f4cb7c31ff4c9b85acad5654c557e016594ef Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:20 +0100
Subject: [PATCH 1/4] New package: python3-PyGithub-1.58.1
---
srcpkgs/python3-PyGithub/template | 14 ++++++++++++++
1 file changed, 14 insertions(+)
create mode 100644 srcpkgs/python3-PyGithub/template
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..452282841032
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,14 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.58.1
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools_scm"
+depends="python3-deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="${PYPI_SITE}/P/PyGithub/PyGithub-${version}.tar.gz"
+checksum=7d528b4ad92bc13122129fafd444ce3d04c47d2d801f6446b6e6ee2d410235b3
From 35aaccb3da297620b4e309d9b0bb50d30226a06b Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:09:54 +0100
Subject: [PATCH 2/4] New package: python3-httpretty-1.1.4
---
srcpkgs/python3-httpretty/template | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
create mode 100644 srcpkgs/python3-httpretty/template
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..e888665e75e5
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+ vlicense COPYING
+}
From 275905a1e72d0a17bb68197a5b89f12c13ae8251 Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:10:09 +0100
Subject: [PATCH 3/4] New package: python3-pydot-1.4.2
---
srcpkgs/python3-pydot/template | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 srcpkgs/python3-pydot/template
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..971d3e288f74
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,18 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+ vlicense LICENSE
+}
From 00f93a5ea0372441552034db63e457a2b152570b Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Wed, 16 Nov 2022 19:08:57 +0100
Subject: [PATCH 4/4] New package: mathlibtools-1.3.2
---
srcpkgs/mathlibtools/template | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
create mode 100644 srcpkgs/mathlibtools/template
diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..6568c4e8dac7
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,17 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.3.2
+revision=1
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git tox python3-wheel"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=edf6eb94d73f3c33ebcdffbc2790aaafa423fd06b77974519bbd244b93713310
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: New package: mathlibtools-1.3.2
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (16 preceding siblings ...)
2023-04-20 11:52 ` [PR PATCH] [Updated] " Eloitor
@ 2023-07-20 1:53 ` github-actions
2023-08-04 1:50 ` [PR PATCH] [Closed]: " github-actions
18 siblings, 0 replies; 20+ messages in thread
From: github-actions @ 2023-07-20 1:53 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 305 bytes --]
New comment by github-actions[bot] on void-packages repository
https://github.com/void-linux/void-packages/pull/37315#issuecomment-1642988616
Comment:
Pull Requests become stale 90 days after last activity and are closed 14 days after that. If this pull request is still relevant bump it or assign it.
^ permalink raw reply [flat|nested] 20+ messages in thread
* Re: [PR PATCH] [Closed]: New package: mathlibtools-1.3.2
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
` (17 preceding siblings ...)
2023-07-20 1:53 ` github-actions
@ 2023-08-04 1:50 ` github-actions
18 siblings, 0 replies; 20+ messages in thread
From: github-actions @ 2023-08-04 1:50 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 2278 bytes --]
There's a closed pull request on the void-packages repository
New package: mathlibtools-1.3.2
https://github.com/void-linux/void-packages/pull/37315
Description:
<!-- Uncomment relevant sections and delete options which are not applicable -->
#### Testing the changes
- I tested the changes in this PR: **briefly**
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**
#### Local build testing
- I built this PR locally for my native architecture, x86-64
I don't know how to make this work:
1. Install `elan` following the instructions from https://leanprover-community.github.io/install/linux.html
2. run `source $HOME/.elan/env`
3. Install `mathlibtools` from this template
This is the output of `leanproject get tutorials`
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
configuring tuto 0.1
WARNING: leanpkg configurations not specifying `path = "src"` are deprecated.
mathlib: cloning https://github.com/leanprover-community/mathlib to _target/deps/mathlib
> git clone https://github.com/leanprover-community/mathlib _target/deps/mathlib
S'està clonant a «_target/deps/mathlib»...
remote: Enumerating objects: 291798, done.
remote: Counting objects: 100% (2157/2157), done.
remote: Compressing objects: 100% (856/856), done.
remote: Total 291798 (delta 1612), reused 1701 (delta 1301), pack-reused 289641
S'estan rebent objectes: 100% (291798/291798), 155.86 MiB | 4.56 MiB/s, fet.
S'estan resolent les diferències: 100% (233183/233183), fet.
> git checkout --detach 178456ffefddf80dec3b26262cebc88c596e4969 # in directory _target/deps/mathlib
HEAD ara és a 178456ffef feat(set_theory/surreal/basic): definition of `≤` and `<` on numeric games (#14169)
Looking for mathlib oleans for 178456ffef
locally...
Found local mathlib oleans
Located matching cache
Applying cache
files extracted: 1 [00:00, 228.29/s]
Aborted!
```
I don't know what is happening. It should download the cached oleans.
Update: This also happens with mathlibtools installed from pipx...
^ permalink raw reply [flat|nested] 20+ messages in thread
end of thread, other threads:[~2023-08-04 1:50 UTC | newest]
Thread overview: 20+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-27 20:43 [PR PATCH] [WIP] New package: mathlibtools-1.1.1 Eloitor
2022-05-27 20:47 ` [PR PATCH] [Updated] " Eloitor
2022-05-27 20:56 ` Eloitor
2022-05-27 21:04 ` Eloitor
2022-05-28 14:17 ` Eloitor
2022-08-08 17:57 ` Eloitor
2022-09-23 21:36 ` [PR PATCH] [Updated] " Eloitor
2022-11-16 18:03 ` [PR PATCH] [Updated] New package: mathlibtools-1.1.2 Eloitor
2022-11-16 18:04 ` Eloitor
2022-11-16 18:12 ` [PR PATCH] [Updated] " Eloitor
2022-11-16 18:14 ` Eloitor
2022-11-16 22:12 ` New package: mathlibtools-1.2.0 Eloitor
2022-12-05 22:39 ` Eloitor
2022-12-05 22:57 ` [PR PATCH] [Updated] " Eloitor
2023-01-16 15:48 ` [PR PATCH] [Updated] New package: mathlibtools-1.3.1 Eloitor
2023-01-19 14:55 ` [PR PATCH] [Updated] New package: mathlibtools-1.3.2 Eloitor
2023-04-20 1:51 ` github-actions
2023-04-20 11:52 ` [PR PATCH] [Updated] " Eloitor
2023-07-20 1:53 ` github-actions
2023-08-04 1:50 ` [PR PATCH] [Closed]: " github-actions
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).