* [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/
@ 2017-04-05 19:15 Austin English
0 siblings, 0 replies; 9+ messages in thread
From: Austin English @ 2017-04-05 19:15 UTC (permalink / raw
To: gentoo-commits
commit: 3471282a8af4b753dc0294a3e3d72653087f67d8
Author: Austin English <wizardedit <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 5 19:13:19 2017 +0000
Commit: Austin English <wizardedit <AT> gentoo <DOT> org>
CommitDate: Wed Apr 5 19:14:35 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3471282a
dev-util/repo: initial package
Package-Manager: Portage-2.3.5, Repoman-2.3.1
dev-util/repo/Manifest | 1 +
dev-util/repo/metadata.xml | 11 +++++++++++
dev-util/repo/repo-1.12.37.ebuild | 24 ++++++++++++++++++++++++
3 files changed, 36 insertions(+)
diff --git a/dev-util/repo/Manifest b/dev-util/repo/Manifest
new file mode 100644
index 00000000000..accd2b7bd74
--- /dev/null
+++ b/dev-util/repo/Manifest
@@ -0,0 +1 @@
+DIST v1.12.37.tar.gz 115107 SHA256 054328e7ca3a29089f24912f9fd563f02adea876c03103a1086231f67221b595 SHA512 d8ad28df298f875a0f705ee8304ea18a962bed532bdc53a6f619510b91946b10bb8e1efd8d8a4ba32ec34bbb5b80eb3e9bc456df565137ba9991bd8d2479ba47 WHIRLPOOL 565498dda4ab029e79161c291704892d67a556514c11acf47570686c97083eb297f82091dd3be751f8466104d05ee656346c01dab02a390e55850cecec4b746e
diff --git a/dev-util/repo/metadata.xml b/dev-util/repo/metadata.xml
new file mode 100644
index 00000000000..e31c816a429
--- /dev/null
+++ b/dev-util/repo/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>wizardedit@gentoo.org</email>
+ <name>Austin English</name>
+ </maintainer>
+ <longdescription>
+ Tool for managing multiple git repositories. From Google, useful for building Android.
+ </longdescription>
+</pkgmetadata>
diff --git a/dev-util/repo/repo-1.12.37.ebuild b/dev-util/repo/repo-1.12.37.ebuild
new file mode 100644
index 00000000000..342f37a1b35
--- /dev/null
+++ b/dev-util/repo/repo-1.12.37.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+# 3.x is currenlty very buggy, only 2.7 actually works
+PYTHON_COMPAT=( python2_7 )
+
+inherit python-r1
+
+DESCRIPTION="Google tool for managing git, particularly multiple repos"
+HOMEPAGE="https://android.googlesource.com/tools/repo"
+SRC_URI="https://android.googlesource.com/tools/repo/+archive/v${PV}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+S="$WORKDIR"
+
+src_install() {
+ python_foreach_impl python_fix_shebang ./repo
+ python_foreach_impl python_doexe ./repo
+}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/
@ 2017-04-05 21:38 Austin English
0 siblings, 0 replies; 9+ messages in thread
From: Austin English @ 2017-04-05 21:38 UTC (permalink / raw
To: gentoo-commits
commit: c505d9fb575e8a59a929fc71899b7a65dcea5410
Author: Austin English <wizardedit <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 5 21:35:08 2017 +0000
Commit: Austin English <wizardedit <AT> gentoo <DOT> org>
CommitDate: Wed Apr 5 21:35:33 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c505d9fb
dev-util/repo: fix broken manifest
dev-util/repo/Manifest | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-util/repo/Manifest b/dev-util/repo/Manifest
index accd2b7bd74..88f8a3be678 100644
--- a/dev-util/repo/Manifest
+++ b/dev-util/repo/Manifest
@@ -1 +1 @@
-DIST v1.12.37.tar.gz 115107 SHA256 054328e7ca3a29089f24912f9fd563f02adea876c03103a1086231f67221b595 SHA512 d8ad28df298f875a0f705ee8304ea18a962bed532bdc53a6f619510b91946b10bb8e1efd8d8a4ba32ec34bbb5b80eb3e9bc456df565137ba9991bd8d2479ba47 WHIRLPOOL 565498dda4ab029e79161c291704892d67a556514c11acf47570686c97083eb297f82091dd3be751f8466104d05ee656346c01dab02a390e55850cecec4b746e
+DIST v1.12.37.tar.gz 115104 SHA256 99db9c7d4c4c4220b38cd590c007f0390a6ee7547d7da85db6788b9095d2b497 SHA512 5658451de2f5a43f8c4cefcc0afaf8c8757a722cc6a3e1af66e1a249206ff5af2ad3284b049ca41f064c58fa95ab4b8abcb45c4c40b577951c01abc698674426 WHIRLPOOL 1ec2407a016f54d164aa6e387cae308b328bda5987741959bc101e582edd5c8505f6ed26007dacac69b409d5d5116de20ed81b64adf980171efdfa9d08cd5daf
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/
@ 2017-04-20 20:48 David Seifert
0 siblings, 0 replies; 9+ messages in thread
From: David Seifert @ 2017-04-20 20:48 UTC (permalink / raw
To: gentoo-commits
commit: addfeb2bf9e7b3096192ff92d0a364244a730786
Author: David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Thu Apr 20 20:22:11 2017 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Thu Apr 20 20:47:29 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=addfeb2b
dev-util/repo: [QA] Add missing python metadata variables
Package-Manager: Portage-2.3.5, Repoman-2.3.2
dev-util/repo/repo-1.12.37.ebuild | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/dev-util/repo/repo-1.12.37.ebuild b/dev-util/repo/repo-1.12.37.ebuild
index 342f37a1b35..bfa9d013ff7 100644
--- a/dev-util/repo/repo-1.12.37.ebuild
+++ b/dev-util/repo/repo-1.12.37.ebuild
@@ -15,8 +15,12 @@ SRC_URI="https://android.googlesource.com/tools/repo/+archive/v${PV}.tar.gz"
LICENSE="Apache-2.0"
SLOT="0"
KEYWORDS="~amd64 ~x86"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-S="$WORKDIR"
+RDEPEND="${PYTHON_DEPS}"
+DEPEND="${RDEPEND}"
+
+S="${WORKDIR}"
src_install() {
python_foreach_impl python_fix_shebang ./repo
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/
@ 2017-05-30 15:34 Lars Wendler
0 siblings, 0 replies; 9+ messages in thread
From: Lars Wendler @ 2017-05-30 15:34 UTC (permalink / raw
To: gentoo-commits
commit: 7ca96636e6b75f73e25def1e8f6b217d49e3134a
Author: Angelo G. Del Regno <kholk11 <AT> gmail <DOT> com>
AuthorDate: Sun May 28 09:52:34 2017 +0000
Commit: Lars Wendler <polynomial-c <AT> gentoo <DOT> org>
CommitDate: Tue May 30 15:32:52 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7ca96636
dev-util/repo: Use correct distfile name
Update SRC_URI to rename the distfile correctly.
Closes: https://github.com/gentoo/gentoo/pull/4786
dev-util/repo/Manifest | 2 +-
dev-util/repo/repo-1.12.37.ebuild | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-util/repo/Manifest b/dev-util/repo/Manifest
index 88f8a3be678..4557d94d640 100644
--- a/dev-util/repo/Manifest
+++ b/dev-util/repo/Manifest
@@ -1 +1 @@
-DIST v1.12.37.tar.gz 115104 SHA256 99db9c7d4c4c4220b38cd590c007f0390a6ee7547d7da85db6788b9095d2b497 SHA512 5658451de2f5a43f8c4cefcc0afaf8c8757a722cc6a3e1af66e1a249206ff5af2ad3284b049ca41f064c58fa95ab4b8abcb45c4c40b577951c01abc698674426 WHIRLPOOL 1ec2407a016f54d164aa6e387cae308b328bda5987741959bc101e582edd5c8505f6ed26007dacac69b409d5d5116de20ed81b64adf980171efdfa9d08cd5daf
+DIST repo-1.12.37.tar.gz 115095 SHA256 ea65450d2965ec5cfd6970f47f510141fc0332333caa5498b152e22cc6252690 SHA512 c033772667134bc0f362678e82bbf6b0b6996fcf6675062cebb0fc55c59c1866ba00554105fbe16c50986b9b4c5bcd4b01fffa8ca9f2ecb989a6f3d5b94ded53 WHIRLPOOL e0460e5dfdd085bee5516fc39a7840d6f76b61696e3356b6bce5da18250555c95d08294a7fe378563489312640d6a1d2105b7ab9df78df457664d6cd922a242f
diff --git a/dev-util/repo/repo-1.12.37.ebuild b/dev-util/repo/repo-1.12.37.ebuild
index bfa9d013ff7..5dbc811d973 100644
--- a/dev-util/repo/repo-1.12.37.ebuild
+++ b/dev-util/repo/repo-1.12.37.ebuild
@@ -10,7 +10,7 @@ inherit python-r1
DESCRIPTION="Google tool for managing git, particularly multiple repos"
HOMEPAGE="https://android.googlesource.com/tools/repo"
-SRC_URI="https://android.googlesource.com/tools/repo/+archive/v${PV}.tar.gz"
+SRC_URI="https://android.googlesource.com/tools/repo/+archive/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="Apache-2.0"
SLOT="0"
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/
@ 2017-07-12 18:33 Austin English
0 siblings, 0 replies; 9+ messages in thread
From: Austin English @ 2017-07-12 18:33 UTC (permalink / raw
To: gentoo-commits
commit: 1893752ce39ad2237260bfb60139a3f1989a9df5
Author: Austin English <wizardedit <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 12 18:26:04 2017 +0000
Commit: Austin English <wizardedit <AT> gentoo <DOT> org>
CommitDate: Wed Jul 12 18:33:30 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1893752c
dev-util/repo: host download on my devspace to workaround broken upstream mirror
Gentoo-Bug: https://bugs.gentoo.org/614858
Gentoo-Bug: https://bugs.gentoo.org/619876
Package-Manager: Portage-2.3.6, Repoman-2.3.2
dev-util/repo/Manifest | 2 +-
dev-util/repo/repo-1.12.37.ebuild | 6 ++++--
2 files changed, 5 insertions(+), 3 deletions(-)
diff --git a/dev-util/repo/Manifest b/dev-util/repo/Manifest
index 4557d94d640..880e6b55772 100644
--- a/dev-util/repo/Manifest
+++ b/dev-util/repo/Manifest
@@ -1 +1 @@
-DIST repo-1.12.37.tar.gz 115095 SHA256 ea65450d2965ec5cfd6970f47f510141fc0332333caa5498b152e22cc6252690 SHA512 c033772667134bc0f362678e82bbf6b0b6996fcf6675062cebb0fc55c59c1866ba00554105fbe16c50986b9b4c5bcd4b01fffa8ca9f2ecb989a6f3d5b94ded53 WHIRLPOOL e0460e5dfdd085bee5516fc39a7840d6f76b61696e3356b6bce5da18250555c95d08294a7fe378563489312640d6a1d2105b7ab9df78df457664d6cd922a242f
+DIST repo-1.12.37.tar.gz 115098 SHA256 31e374155eba54b18fae966ef3fb9290378c29fd8c15085cc70e8007a3227c66 SHA512 3ff6b5c3bcc8fba1861102035b86b59137e7dcebeab7a0fb01672da28473e1912c3cbac7c085e9b8d3fce404bd18095ba022d4978d83833f666bd31d621d5953 WHIRLPOOL 5025f0fb2b2fe84ddbfdc4d8585243ac80276f1906f50bf878a2c804cfdb357973c9d6ac282338c366f3cbdee74ccafaa80d69a16ab8b9dbbf00b8ac07e97376
diff --git a/dev-util/repo/repo-1.12.37.ebuild b/dev-util/repo/repo-1.12.37.ebuild
index 5dbc811d973..ba92c75316c 100644
--- a/dev-util/repo/repo-1.12.37.ebuild
+++ b/dev-util/repo/repo-1.12.37.ebuild
@@ -3,14 +3,16 @@
EAPI=6
-# 3.x is currenlty very buggy, only 2.7 actually works
+# 3.x is currently very buggy, only 2.7 actually works
PYTHON_COMPAT=( python2_7 )
inherit python-r1
DESCRIPTION="Google tool for managing git, particularly multiple repos"
HOMEPAGE="https://android.googlesource.com/tools/repo"
-SRC_URI="https://android.googlesource.com/tools/repo/+archive/v${PV}.tar.gz -> ${P}.tar.gz"
+# Should be:
+#SRC_URI="https://android.googlesource.com/tools/repo/+archive/v${PV}.tar.gz -> ${P}.tar.gz"
+SRC_URI="https://dev.gentoo.org/~wizardedit/dist/repo-${PV}.tar.gz"
LICENSE="Apache-2.0"
SLOT="0"
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/
@ 2017-12-19 23:21 Austin English
0 siblings, 0 replies; 9+ messages in thread
From: Austin English @ 2017-12-19 23:21 UTC (permalink / raw
To: gentoo-commits
commit: de6e78beb99bb765e2d127bea1d7b4025a647517
Author: Austin English <wizardedit <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 19 23:18:47 2017 +0000
Commit: Austin English <wizardedit <AT> gentoo <DOT> org>
CommitDate: Tue Dec 19 23:20:49 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=de6e78be
dev-util/repo: add app-admin/radmind blocker
Package-Manager: Portage-2.3.13, Repoman-2.3.3
dev-util/repo/repo-1.12.37.ebuild | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/dev-util/repo/repo-1.12.37.ebuild b/dev-util/repo/repo-1.12.37.ebuild
index ba92c75316c..7ee57ac5ba7 100644
--- a/dev-util/repo/repo-1.12.37.ebuild
+++ b/dev-util/repo/repo-1.12.37.ebuild
@@ -19,7 +19,8 @@ SLOT="0"
KEYWORDS="~amd64 ~x86"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"
-RDEPEND="${PYTHON_DEPS}"
+RDEPEND="${PYTHON_DEPS}
+ !app-admin/radmind"
DEPEND="${RDEPEND}"
S="${WORKDIR}"
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/
@ 2019-04-09 3:14 Austin English
0 siblings, 0 replies; 9+ messages in thread
From: Austin English @ 2019-04-09 3:14 UTC (permalink / raw
To: gentoo-commits
commit: 0d827f5f55d17c668106aac3788535517bbb76bf
Author: Austin English <wizardedit <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 9 02:49:28 2019 +0000
Commit: Austin English <wizardedit <AT> gentoo <DOT> org>
CommitDate: Tue Apr 9 03:13:33 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d827f5f
dev-util/repo: move my packages to maintainer-needed
Signed-off-by: Austin English <wizardedit <AT> gentoo.org>
Copyright: Sony Interactive Entertainment Inc.
Package-Manager: Portage-2.3.62, Repoman-2.3.12
dev-util/repo/metadata.xml | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/dev-util/repo/metadata.xml b/dev-util/repo/metadata.xml
index e31c816a429..1a32327a03f 100644
--- a/dev-util/repo/metadata.xml
+++ b/dev-util/repo/metadata.xml
@@ -1,10 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="person">
- <email>wizardedit@gentoo.org</email>
- <name>Austin English</name>
- </maintainer>
+ <!-- maintainer-needed -->
<longdescription>
Tool for managing multiple git repositories. From Google, useful for building Android.
</longdescription>
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/
@ 2019-04-11 4:10 Yixun Lan
0 siblings, 0 replies; 9+ messages in thread
From: Yixun Lan @ 2019-04-11 4:10 UTC (permalink / raw
To: gentoo-commits
commit: 8c64000f98cbf16253a15077de379ace053cb105
Author: Yixun Lan <dlan <AT> gentoo <DOT> org>
AuthorDate: Thu Apr 11 04:09:02 2019 +0000
Commit: Yixun Lan <dlan <AT> gentoo <DOT> org>
CommitDate: Thu Apr 11 04:09:04 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8c64000f
dev-util/repo: add myself to maintainer list
Package-Manager: Portage-2.3.62, Repoman-2.3.12
Signed-off-by: Yixun Lan <dlan <AT> gentoo.org>
dev-util/repo/metadata.xml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/dev-util/repo/metadata.xml b/dev-util/repo/metadata.xml
index 1a32327a03f..26e54d13d07 100644
--- a/dev-util/repo/metadata.xml
+++ b/dev-util/repo/metadata.xml
@@ -1,7 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <!-- maintainer-needed -->
+ <maintainer type="person">
+ <email>dlan@gentoo.org</email>
+ <name>Yixun Lan</name>
+ </maintainer>
<longdescription>
Tool for managing multiple git repositories. From Google, useful for building Android.
</longdescription>
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/
@ 2019-04-11 4:37 Yixun Lan
0 siblings, 0 replies; 9+ messages in thread
From: Yixun Lan @ 2019-04-11 4:37 UTC (permalink / raw
To: gentoo-commits
commit: d3fe96695eb73271fe2a092fbc2ebda03f94c9f6
Author: Yixun Lan <dlan <AT> gentoo <DOT> org>
AuthorDate: Thu Apr 11 04:35:54 2019 +0000
Commit: Yixun Lan <dlan <AT> gentoo <DOT> org>
CommitDate: Thu Apr 11 04:36:53 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d3fe9669
dev-util/repo: version bump 1.13.2
which is the lastest stable version
Package-Manager: Portage-2.3.62, Repoman-2.3.12
Signed-off-by: Yixun Lan <dlan <AT> gentoo.org>
dev-util/repo/Manifest | 1 +
dev-util/repo/repo-1.13.2.ebuild | 29 +++++++++++++++++++++++++++++
2 files changed, 30 insertions(+)
diff --git a/dev-util/repo/Manifest b/dev-util/repo/Manifest
index 9920652fd04..1eb0d2e8660 100644
--- a/dev-util/repo/Manifest
+++ b/dev-util/repo/Manifest
@@ -1 +1,2 @@
DIST repo-1.12.37.tar.gz 115098 BLAKE2B 7a54afad5a3355edfab09be62c6881b4c0d3bc521c04313bb1dd428fc7a1c9a82a65186d20fd05d67227c88d2f6a30fd70f53f35dbfc0b6e7e668252ce6fbd9d SHA512 3ff6b5c3bcc8fba1861102035b86b59137e7dcebeab7a0fb01672da28473e1912c3cbac7c085e9b8d3fce404bd18095ba022d4978d83833f666bd31d621d5953
+DIST repo-1.13.2.tar.xz 103068 BLAKE2B 055ca4ffb55aa304a466e32e84e4ed23781f5be4dc82ce854a0f2352e4b785bec55a3ea23cacd06f758ace4b5351c33cd3e32ecfa0fbb04eb5f4b45349ff7196 SHA512 acd02ded7d817c718e29e1c61dcd83b4e40380de8d3450f5b30aef47f9c1ea4872f04e83299e57999318d43a26d407bf73159394d82700a4a2b30611e5f2e2c1
diff --git a/dev-util/repo/repo-1.13.2.ebuild b/dev-util/repo/repo-1.13.2.ebuild
new file mode 100644
index 00000000000..1123c98edd3
--- /dev/null
+++ b/dev-util/repo/repo-1.13.2.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+# 3.x is currently very buggy, only 2.7 actually works
+PYTHON_COMPAT=( python2_7 )
+
+inherit python-r1
+
+DESCRIPTION="Google tool for managing git, particularly multiple repos"
+HOMEPAGE="https://android.googlesource.com/tools/repo"
+# Should be:
+#SRC_URI="https://android.googlesource.com/tools/repo/+archive/v${PV}.tar.gz -> ${P}.tar.gz"
+SRC_URI="https://dev.gentoo.org/~dlan/distfiles/repo-${PV}.tar.xz"
+
+LICENSE="Apache-2.0"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
+
+RDEPEND="${PYTHON_DEPS}
+ !app-admin/radmind"
+DEPEND="${RDEPEND}"
+
+src_install() {
+ python_foreach_impl python_fix_shebang ./repo
+ python_foreach_impl python_doexe ./repo
+}
^ permalink raw reply related [flat|nested] 9+ messages in thread
end of thread, other threads:[~2019-04-11 4:37 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-04-05 19:15 [gentoo-commits] repo/gentoo:master commit in: dev-util/repo/ Austin English
-- strict thread matches above, loose matches on Subject: below --
2017-04-05 21:38 Austin English
2017-04-20 20:48 David Seifert
2017-05-30 15:34 Lars Wendler
2017-07-12 18:33 Austin English
2017-12-19 23:21 Austin English
2019-04-09 3:14 Austin English
2019-04-11 4:10 Yixun Lan
2019-04-11 4:37 Yixun Lan
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox