* [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy
@ 2020-09-16 19:14 motorto
2020-09-16 20:39 ` [PR PATCH] [Updated] " motorto
` (9 more replies)
0 siblings, 10 replies; 11+ messages in thread
From: motorto @ 2020-09-16 19:14 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 334 bytes --]
There is a new pull request by motorto against master on the void-packages repository
https://github.com/motorto/void-packages pari
https://github.com/void-linux/void-packages/pull/24946
Pari seadata and seadata-big , fix wildcard on vcopy
A patch file from https://github.com/void-linux/void-packages/pull/24946.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-pari-24946.patch --]
[-- Type: text/x-diff, Size: 2104 bytes --]
From e60112df424a55f23fee7938aca5a7479afe5d63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:11:37 +0100
Subject: [PATCH 1/2] pari-seadata: fix vcopy / add wildcard
---
srcpkgs/pari-seadata/template | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/srcpkgs/pari-seadata/template b/srcpkgs/pari-seadata/template
index f83c57ebcd2..35637b4e85f 100644
--- a/srcpkgs/pari-seadata/template
+++ b/srcpkgs/pari-seadata/template
@@ -1,7 +1,7 @@
# Template file for 'pari-seadata'
pkgname=pari-seadata
version=20090618
-revision=1
+revision=2
create_wrksrc=yes
depends="pari"
short_desc="PARI/GP package needed by ellap for large primes up to 750 bit"
@@ -13,5 +13,5 @@ checksum=c9282a525ea3f92c1f9c6c69e37ac5a87b48fb9ccd943cfd7c881a3851195833
do_install() {
vmkdir usr/share/pari/seadata
- vcopy "data/seadata/sea???" usr/share/pari/seadata
+ vcopy data/seadata/sea* usr/share/pari/seadata
}
From 47b02010f855c8cf5bc0aed193d7e324af805498 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:13:12 +0100
Subject: [PATCH 2/2] pari-seadata-big: fix vcopy / add wildcard
---
srcpkgs/pari-seadata-big/template | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/srcpkgs/pari-seadata-big/template b/srcpkgs/pari-seadata-big/template
index 04023e731e8..31aa207eae5 100644
--- a/srcpkgs/pari-seadata-big/template
+++ b/srcpkgs/pari-seadata-big/template
@@ -1,9 +1,9 @@
# Template file for 'pari-seadata-big'
pkgname=pari-seadata-big
version=20170418
-revision=1
+revision=2
create_wrksrc=yes
-depends="pari"
+depends="pari pari-seadata"
short_desc="PARI/GP package needed by ellap for large primes up to 1100 bits"
maintainer="André Cerqueira <acerqueira021@gmail.com>"
license="GPL-3.0-or-later"
@@ -13,5 +13,5 @@ checksum=7c4db2624808a5bbd2ba00f8b644a439f0508532efd680a247610fdd5822a5f2
do_install() {
vmkdir usr/share/pari
- vcopy data/seadata usr/share/pari
+ vcopy data/seadata/sea*.gz usr/share/pari
}
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: [PR PATCH] [Updated] Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
@ 2020-09-16 20:39 ` motorto
2020-09-17 0:26 ` sgn
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: motorto @ 2020-09-16 20:39 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 339 bytes --]
There is an updated pull request by motorto against master on the void-packages repository
https://github.com/motorto/void-packages pari
https://github.com/void-linux/void-packages/pull/24946
Pari seadata and seadata-big , fix wildcard on vcopy
A patch file from https://github.com/void-linux/void-packages/pull/24946.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-pari-24946.patch --]
[-- Type: text/x-diff, Size: 2104 bytes --]
From c3d9b6f307c1238ea5d1fb91435484b836bd1a10 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:11:37 +0100
Subject: [PATCH 1/2] pari-seadata: fix vcopy / add wildcard
---
srcpkgs/pari-seadata/template | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/srcpkgs/pari-seadata/template b/srcpkgs/pari-seadata/template
index f83c57ebcd2..35637b4e85f 100644
--- a/srcpkgs/pari-seadata/template
+++ b/srcpkgs/pari-seadata/template
@@ -1,7 +1,7 @@
# Template file for 'pari-seadata'
pkgname=pari-seadata
version=20090618
-revision=1
+revision=2
create_wrksrc=yes
depends="pari"
short_desc="PARI/GP package needed by ellap for large primes up to 750 bit"
@@ -13,5 +13,5 @@ checksum=c9282a525ea3f92c1f9c6c69e37ac5a87b48fb9ccd943cfd7c881a3851195833
do_install() {
vmkdir usr/share/pari/seadata
- vcopy "data/seadata/sea???" usr/share/pari/seadata
+ vcopy data/seadata/sea* usr/share/pari/seadata
}
From 4a8aa2b52109176ceca2c8c26fe380bb12d4bc77 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:13:12 +0100
Subject: [PATCH 2/2] pari-seadata-big: fix vcopy / add wildcard
---
srcpkgs/pari-seadata-big/template | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/srcpkgs/pari-seadata-big/template b/srcpkgs/pari-seadata-big/template
index 04023e731e8..31aa207eae5 100644
--- a/srcpkgs/pari-seadata-big/template
+++ b/srcpkgs/pari-seadata-big/template
@@ -1,9 +1,9 @@
# Template file for 'pari-seadata-big'
pkgname=pari-seadata-big
version=20170418
-revision=1
+revision=2
create_wrksrc=yes
-depends="pari"
+depends="pari pari-seadata"
short_desc="PARI/GP package needed by ellap for large primes up to 1100 bits"
maintainer="André Cerqueira <acerqueira021@gmail.com>"
license="GPL-3.0-or-later"
@@ -13,5 +13,5 @@ checksum=7c4db2624808a5bbd2ba00f8b644a439f0508532efd680a247610fdd5822a5f2
do_install() {
vmkdir usr/share/pari
- vcopy data/seadata usr/share/pari
+ vcopy data/seadata/sea*.gz usr/share/pari
}
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
2020-09-16 20:39 ` [PR PATCH] [Updated] " motorto
@ 2020-09-17 0:26 ` sgn
2020-09-17 0:27 ` [PR REVIEW] " sgn
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: sgn @ 2020-09-17 0:26 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 275 bytes --]
New comment by sgn on void-packages repository
https://github.com/void-linux/void-packages/pull/24946#issuecomment-693735667
Comment:
So they need to be placed inside `/usr/share/pari` instead of `/usr/share/pari/seadata`? If yes, all other `pari-*` needs to be fixed too.
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: [PR REVIEW] Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
2020-09-16 20:39 ` [PR PATCH] [Updated] " motorto
2020-09-17 0:26 ` sgn
@ 2020-09-17 0:27 ` sgn
2020-09-17 8:10 ` dkwo
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: sgn @ 2020-09-17 0:27 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 218 bytes --]
New review comment by sgn on void-packages repository
https://github.com/void-linux/void-packages/pull/24946#discussion_r489824982
Comment:
I suggested this because it's about to split `seadata` and `seadata-small`.
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
` (2 preceding siblings ...)
2020-09-17 0:27 ` [PR REVIEW] " sgn
@ 2020-09-17 8:10 ` dkwo
2020-09-17 8:33 ` [PR PATCH] [Updated] " motorto
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dkwo @ 2020-09-17 8:10 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 183 bytes --]
New comment by dkwo on void-packages repository
https://github.com/void-linux/void-packages/pull/24946#issuecomment-694072341
Comment:
Thank you, I tested seadata and now it works.
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: [PR PATCH] [Updated] Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
` (3 preceding siblings ...)
2020-09-17 8:10 ` dkwo
@ 2020-09-17 8:33 ` motorto
2020-09-17 8:35 ` motorto
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: motorto @ 2020-09-17 8:33 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 339 bytes --]
There is an updated pull request by motorto against master on the void-packages repository
https://github.com/motorto/void-packages pari
https://github.com/void-linux/void-packages/pull/24946
Pari seadata and seadata-big , fix wildcard on vcopy
A patch file from https://github.com/void-linux/void-packages/pull/24946.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-pari-24946.patch --]
[-- Type: text/x-diff, Size: 2567 bytes --]
From c3d9b6f307c1238ea5d1fb91435484b836bd1a10 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:11:37 +0100
Subject: [PATCH 1/2] pari-seadata: fix vcopy / add wildcard
---
srcpkgs/pari-seadata/template | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/srcpkgs/pari-seadata/template b/srcpkgs/pari-seadata/template
index f83c57ebcd2..35637b4e85f 100644
--- a/srcpkgs/pari-seadata/template
+++ b/srcpkgs/pari-seadata/template
@@ -1,7 +1,7 @@
# Template file for 'pari-seadata'
pkgname=pari-seadata
version=20090618
-revision=1
+revision=2
create_wrksrc=yes
depends="pari"
short_desc="PARI/GP package needed by ellap for large primes up to 750 bit"
@@ -13,5 +13,5 @@ checksum=c9282a525ea3f92c1f9c6c69e37ac5a87b48fb9ccd943cfd7c881a3851195833
do_install() {
vmkdir usr/share/pari/seadata
- vcopy "data/seadata/sea???" usr/share/pari/seadata
+ vcopy data/seadata/sea* usr/share/pari/seadata
}
From dea32a2c78bcdad4071c599a0ecd8005d7ece848 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:13:12 +0100
Subject: [PATCH 2/2] pari-seadata-big: fix vcopy / add wildcard
---
srcpkgs/pari-seadata-big/template | 6 +++---
srcpkgs/pari-seadata/template | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/srcpkgs/pari-seadata-big/template b/srcpkgs/pari-seadata-big/template
index 04023e731e8..31aa207eae5 100644
--- a/srcpkgs/pari-seadata-big/template
+++ b/srcpkgs/pari-seadata-big/template
@@ -1,9 +1,9 @@
# Template file for 'pari-seadata-big'
pkgname=pari-seadata-big
version=20170418
-revision=1
+revision=2
create_wrksrc=yes
-depends="pari"
+depends="pari pari-seadata"
short_desc="PARI/GP package needed by ellap for large primes up to 1100 bits"
maintainer="André Cerqueira <acerqueira021@gmail.com>"
license="GPL-3.0-or-later"
@@ -13,5 +13,5 @@ checksum=7c4db2624808a5bbd2ba00f8b644a439f0508532efd680a247610fdd5822a5f2
do_install() {
vmkdir usr/share/pari
- vcopy data/seadata usr/share/pari
+ vcopy data/seadata/sea*.gz usr/share/pari
}
diff --git a/srcpkgs/pari-seadata/template b/srcpkgs/pari-seadata/template
index 35637b4e85f..3a5d8c72df7 100644
--- a/srcpkgs/pari-seadata/template
+++ b/srcpkgs/pari-seadata/template
@@ -13,5 +13,5 @@ checksum=c9282a525ea3f92c1f9c6c69e37ac5a87b48fb9ccd943cfd7c881a3851195833
do_install() {
vmkdir usr/share/pari/seadata
- vcopy data/seadata/sea* usr/share/pari/seadata
+ vcopy data/seadata/sea* usr/share/pari
}
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: [PR PATCH] [Updated] Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
` (4 preceding siblings ...)
2020-09-17 8:33 ` [PR PATCH] [Updated] " motorto
@ 2020-09-17 8:35 ` motorto
2020-09-17 8:37 ` motorto
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: motorto @ 2020-09-17 8:35 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 339 bytes --]
There is an updated pull request by motorto against master on the void-packages repository
https://github.com/motorto/void-packages pari
https://github.com/void-linux/void-packages/pull/24946
Pari seadata and seadata-big , fix wildcard on vcopy
A patch file from https://github.com/void-linux/void-packages/pull/24946.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-pari-24946.patch --]
[-- Type: text/x-diff, Size: 2096 bytes --]
From 02f38f49736747c7e278daeee03cfd8e00a44bd8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:11:37 +0100
Subject: [PATCH 1/2] pari-seadata: fix vcopy / add wildcard
---
srcpkgs/pari-seadata/template | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/srcpkgs/pari-seadata/template b/srcpkgs/pari-seadata/template
index f83c57ebcd2..3a5d8c72df7 100644
--- a/srcpkgs/pari-seadata/template
+++ b/srcpkgs/pari-seadata/template
@@ -1,7 +1,7 @@
# Template file for 'pari-seadata'
pkgname=pari-seadata
version=20090618
-revision=1
+revision=2
create_wrksrc=yes
depends="pari"
short_desc="PARI/GP package needed by ellap for large primes up to 750 bit"
@@ -13,5 +13,5 @@ checksum=c9282a525ea3f92c1f9c6c69e37ac5a87b48fb9ccd943cfd7c881a3851195833
do_install() {
vmkdir usr/share/pari/seadata
- vcopy "data/seadata/sea???" usr/share/pari/seadata
+ vcopy data/seadata/sea* usr/share/pari
}
From bffbc06f9c66157e91081e1a4be7d39f55872ac9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Cerqueira?= <acerqueira021@gmail.com>
Date: Wed, 16 Sep 2020 20:13:12 +0100
Subject: [PATCH 2/2] pari-seadata-big: fix vcopy / add wildcard
---
srcpkgs/pari-seadata-big/template | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/srcpkgs/pari-seadata-big/template b/srcpkgs/pari-seadata-big/template
index 04023e731e8..31aa207eae5 100644
--- a/srcpkgs/pari-seadata-big/template
+++ b/srcpkgs/pari-seadata-big/template
@@ -1,9 +1,9 @@
# Template file for 'pari-seadata-big'
pkgname=pari-seadata-big
version=20170418
-revision=1
+revision=2
create_wrksrc=yes
-depends="pari"
+depends="pari pari-seadata"
short_desc="PARI/GP package needed by ellap for large primes up to 1100 bits"
maintainer="André Cerqueira <acerqueira021@gmail.com>"
license="GPL-3.0-or-later"
@@ -13,5 +13,5 @@ checksum=7c4db2624808a5bbd2ba00f8b644a439f0508532efd680a247610fdd5822a5f2
do_install() {
vmkdir usr/share/pari
- vcopy data/seadata usr/share/pari
+ vcopy data/seadata/sea*.gz usr/share/pari
}
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
` (5 preceding siblings ...)
2020-09-17 8:35 ` motorto
@ 2020-09-17 8:37 ` motorto
2020-09-17 8:39 ` motorto
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: motorto @ 2020-09-17 8:37 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 851 bytes --]
New comment by motorto on void-packages repository
https://github.com/void-linux/void-packages/pull/24946#issuecomment-694086338
Comment:
> So they need to be placed inside `/usr/share/pari` instead of `/usr/share/pari/seadata`? If yes, all other `pari-*` needs to be fixed too.
Yes @sgn , that was the problem, (and the ??? ) , well I tried the other packages with the test upstream offers , and they all work.
> D. To test whether a package is available.
>
> Here are sample commands that will fail if a given package is not available:
>
> ellinit("11a1") /* package: elldata */
> galoisgetpol(8) /* package: galpol */
> galoisgetname(12,1) /* package: galpol 4.0 and up */
> ellmodulareqn(11) /* package: seadata */
> polgalois(x^8-2) /* package: galdata */
https://pari.math.u-bordeaux.fr/packages.html
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
` (6 preceding siblings ...)
2020-09-17 8:37 ` motorto
@ 2020-09-17 8:39 ` motorto
2020-09-17 8:39 ` motorto
2020-09-21 14:55 ` [PR PATCH] [Merged]: " sgn
9 siblings, 0 replies; 11+ messages in thread
From: motorto @ 2020-09-17 8:39 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 965 bytes --]
New comment by motorto on void-packages repository
https://github.com/void-linux/void-packages/pull/24946#issuecomment-694086338
Comment:
> So they need to be placed inside `/usr/share/pari` instead of `/usr/share/pari/seadata`? If yes, all other `pari-*` needs to be fixed too.
Yes @sgn , that was the problem, (and the ??? ) , well I tried the other packages with the test upstream offers , and they all work.
> D. To test whether a package is available.
>
> Here are sample commands that will fail if a given package is not available:
>
> ellinit("11a1") /* package: elldata */
> galoisgetpol(8) /* package: galpol */
> galoisgetname(12,1) /* package: galpol 4.0 and up */
> ellmodulareqn(11) /* package: seadata */
> polgalois(x^8-2) /* package: galdata */
https://pari.math.u-bordeaux.fr/packages.html
Edit:
------
Checked the other packages and they all seem to copy to /usr/share/pari , so they are okay !
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
` (7 preceding siblings ...)
2020-09-17 8:39 ` motorto
@ 2020-09-17 8:39 ` motorto
2020-09-21 14:55 ` [PR PATCH] [Merged]: " sgn
9 siblings, 0 replies; 11+ messages in thread
From: motorto @ 2020-09-17 8:39 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 965 bytes --]
New comment by motorto on void-packages repository
https://github.com/void-linux/void-packages/pull/24946#issuecomment-694086338
Comment:
> So they need to be placed inside `/usr/share/pari` instead of `/usr/share/pari/seadata`? If yes, all other `pari-*` needs to be fixed too.
Yes @sgn , that was the problem, (and the ??? ) , well I tried the other packages with the test upstream offers , and they all work.
> D. To test whether a package is available.
>
> Here are sample commands that will fail if a given package is not available:
>
> ellinit("11a1") /* package: elldata */
> galoisgetpol(8) /* package: galpol */
> galoisgetname(12,1) /* package: galpol 4.0 and up */
> ellmodulareqn(11) /* package: seadata */
> polgalois(x^8-2) /* package: galdata */
https://pari.math.u-bordeaux.fr/packages.html
------
Edit:
Checked the other packages and they all seem to copy to /usr/share/pari , so they are okay !
^ permalink raw reply [flat|nested] 11+ messages in thread
* Re: [PR PATCH] [Merged]: Pari seadata and seadata-big , fix wildcard on vcopy
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
` (8 preceding siblings ...)
2020-09-17 8:39 ` motorto
@ 2020-09-21 14:55 ` sgn
9 siblings, 0 replies; 11+ messages in thread
From: sgn @ 2020-09-21 14:55 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 186 bytes --]
There's a merged pull request on the void-packages repository
Pari seadata and seadata-big , fix wildcard on vcopy
https://github.com/void-linux/void-packages/pull/24946
Description:
^ permalink raw reply [flat|nested] 11+ messages in thread
end of thread, other threads:[~2020-09-21 14:55 UTC | newest]
Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-16 19:14 [PR PATCH] Pari seadata and seadata-big , fix wildcard on vcopy motorto
2020-09-16 20:39 ` [PR PATCH] [Updated] " motorto
2020-09-17 0:26 ` sgn
2020-09-17 0:27 ` [PR REVIEW] " sgn
2020-09-17 8:10 ` dkwo
2020-09-17 8:33 ` [PR PATCH] [Updated] " motorto
2020-09-17 8:35 ` motorto
2020-09-17 8:37 ` motorto
2020-09-17 8:39 ` motorto
2020-09-17 8:39 ` motorto
2020-09-21 14:55 ` [PR PATCH] [Merged]: " sgn
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).