* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2022-12-02 21:32 Ionen Wolkens
0 siblings, 0 replies; 10+ messages in thread
From: Ionen Wolkens @ 2022-12-02 21:32 UTC (permalink / raw
To: gentoo-commits
commit: de0caadcf039235c14f8e979a6dce555e4b68b14
Author: Ionen Wolkens <ionen <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 2 21:28:32 2022 +0000
Commit: Ionen Wolkens <ionen <AT> gentoo <DOT> org>
CommitDate: Fri Dec 2 21:31:08 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=de0caadc
media-radio/ibp: move imake to BDEPEND
Is wrong and leads to the clang wrapper misdetecting
imake wrt bug #884053.
Closes: https://bugs.gentoo.org/884053
Signed-off-by: Ionen Wolkens <ionen <AT> gentoo.org>
media-radio/ibp/ibp-0.21-r2.ebuild | 13 ++++++++-----
1 file changed, 8 insertions(+), 5 deletions(-)
diff --git a/media-radio/ibp/ibp-0.21-r2.ebuild b/media-radio/ibp/ibp-0.21-r2.ebuild
index 66da2274b686..39e7b9d04ab9 100644
--- a/media-radio/ibp/ibp-0.21-r2.ebuild
+++ b/media-radio/ibp/ibp-0.21-r2.ebuild
@@ -14,13 +14,16 @@ SLOT="0"
KEYWORDS="amd64 x86"
IUSE="X"
-RDEPEND="sys-libs/ncurses:0=
- X? ( x11-libs/libX11 )"
-DEPEND="${RDEPEND}
- X? ( >=x11-misc/imake-1.0.8-r1 )"
+RDEPEND="
+ sys-libs/ncurses:=
+ X? ( x11-libs/libX11 )"
+DEPEND="${RDEPEND}"
BDEPEND="
virtual/pkgconfig
- X? ( sys-devel/gcc )"
+ X? (
+ sys-devel/gcc
+ >=x11-misc/imake-1.0.8-r1
+ )"
PATCHES=(
"${FILESDIR}"/${P}-clang16.patch
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2022-10-11 8:56 Ionen Wolkens
0 siblings, 0 replies; 10+ messages in thread
From: Ionen Wolkens @ 2022-10-11 8:56 UTC (permalink / raw
To: gentoo-commits
commit: c57297b700025083c73cf90a6c9ea0829126f478
Author: Ionen Wolkens <ionen <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 11 08:24:12 2022 +0000
Commit: Ionen Wolkens <ionen <AT> gentoo <DOT> org>
CommitDate: Tue Oct 11 08:56:01 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c57297b7
media-radio/ibp: pass -std=gnu89
Does not build with `clang -std=c2x`, early workaround for
when this will become a default.
(not actively hunting for these, merely revisiting packages
previously looked at for clang16 even if not an issue "yet").
Signed-off-by: Ionen Wolkens <ionen <AT> gentoo.org>
media-radio/ibp/ibp-0.21-r2.ebuild | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/media-radio/ibp/ibp-0.21-r2.ebuild b/media-radio/ibp/ibp-0.21-r2.ebuild
index 3a9d39772a5e..66da2274b686 100644
--- a/media-radio/ibp/ibp-0.21-r2.ebuild
+++ b/media-radio/ibp/ibp-0.21-r2.ebuild
@@ -3,7 +3,7 @@
EAPI="7"
-inherit toolchain-funcs
+inherit flag-o-matic toolchain-funcs
DESCRIPTION="Shows currently transmitting beacons of the International Beacon Project (IBP)"
HOMEPAGE="http://www.pa3fwm.nl/software/ibp/"
@@ -37,6 +37,8 @@ src_prepare() {
}
src_configure() {
+ append-cflags -std=gnu89 # old codebase, incompatible with c2x
+
if use X ;then
CC="$(tc-getBUILD_CC)" LD="$(tc-getLD)" \
IMAKECPP="${IMAKECPP:-${CHOST}-gcc -E}" xmkmf || die
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2022-08-27 11:47 Sam James
0 siblings, 0 replies; 10+ messages in thread
From: Sam James @ 2022-08-27 11:47 UTC (permalink / raw
To: gentoo-commits
commit: 8f843864a9d6006ef1965c01c47055227465de01
Author: Mario Haustein <mario.haustein <AT> hrz <DOT> tu-chemnitz <DOT> de>
AuthorDate: Sat Aug 27 08:13:44 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Aug 27 11:47:04 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8f843864
media-radio/ibp: update HOMEPAGE, SRC_URI
Signed-off-by: Mario Haustein <mario.haustein <AT> hrz.tu-chemnitz.de>
Closes: https://github.com/gentoo/gentoo/pull/27028
Signed-off-by: Sam James <sam <AT> gentoo.org>
media-radio/ibp/ibp-0.21-r2.ebuild | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/media-radio/ibp/ibp-0.21-r2.ebuild b/media-radio/ibp/ibp-0.21-r2.ebuild
index 08a4b2b5fa4a..4495eec2cb8d 100644
--- a/media-radio/ibp/ibp-0.21-r2.ebuild
+++ b/media-radio/ibp/ibp-0.21-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="7"
@@ -6,8 +6,8 @@ EAPI="7"
inherit toolchain-funcs
DESCRIPTION="Shows currently transmitting beacons of the International Beacon Project (IBP)"
-HOMEPAGE="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/ibp.html"
-SRC_URI="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/${P}.tgz"
+HOMEPAGE="http://www.pa3fwm.nl/software/ibp/"
+SRC_URI="http://www.pa3fwm.nl/software/ibp/${P}.tgz"
LICENSE="GPL-2"
SLOT="0"
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2021-06-18 21:07 David Seifert
0 siblings, 0 replies; 10+ messages in thread
From: David Seifert @ 2021-06-18 21:07 UTC (permalink / raw
To: gentoo-commits
commit: efc07b04ebe215e44e0051bca585bc6630d965b4
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 18 21:07:11 2021 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Fri Jun 18 21:07:11 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=efc07b04
media-radio/ibp: use pkg-config to find ncurses
This is more resilient in the (rare) case of non-split tinfo,
which still occurs on e.g. Prefix.
Signed-off-by: Sam James <sam <AT> gentoo.org>
Signed-off-by: David Seifert <soap <AT> gentoo.org>
.../ibp/{ibp-0.21-r1.ebuild => ibp-0.21-r2.ebuild} | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/media-radio/ibp/ibp-0.21-r1.ebuild b/media-radio/ibp/ibp-0.21-r2.ebuild
similarity index 77%
rename from media-radio/ibp/ibp-0.21-r1.ebuild
rename to media-radio/ibp/ibp-0.21-r2.ebuild
index a02af617b34..08a4b2b5fa4 100644
--- a/media-radio/ibp/ibp-0.21-r1.ebuild
+++ b/media-radio/ibp/ibp-0.21-r2.ebuild
@@ -1,7 +1,8 @@
# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI="6"
+EAPI="7"
+
inherit toolchain-funcs
DESCRIPTION="Shows currently transmitting beacons of the International Beacon Project (IBP)"
@@ -13,18 +14,18 @@ SLOT="0"
KEYWORDS="amd64 x86"
IUSE="X"
-RDEPEND="sys-libs/ncurses:0
+RDEPEND="sys-libs/ncurses:0=
X? ( x11-libs/libX11 )"
DEPEND="${RDEPEND}
X? ( >=x11-misc/imake-1.0.8-r1 )"
+BDEPEND="virtual/pkgconfig"
src_prepare() {
- # respect CFLAGS if built without USE=X
+ # Respect CFLAGS if built without USE=X
sed -i -e "s/= -D/+= -D/" Makefile || die
- # fix compile if ncurses is built with separate libtinfo
- if has_version "sys-libs/ncurses:0[tinfo]" ;then
- sed -i -e "s/-lcurses/-lcurses -ltinfo/" Imakefile Makefile || die
- fi
+
+ # Fix compile if ncurses is built with separate libtinfo
+ sed -i -e "s:-lcurses:$($(tc-getPKG_CONFIG) --libs ncurses):" Imakefile Makefile || die
eapply_user
}
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2021-04-15 6:39 Joonas Niilola
0 siblings, 0 replies; 10+ messages in thread
From: Joonas Niilola @ 2021-04-15 6:39 UTC (permalink / raw
To: gentoo-commits
commit: 9125cac6b7858eee2325ee74d0658c387df981c6
Author: Ionen Wolkens <sudinave <AT> gmail <DOT> com>
AuthorDate: Wed Apr 14 10:52:54 2021 +0000
Commit: Joonas Niilola <juippis <AT> gentoo <DOT> org>
CommitDate: Thu Apr 15 06:38:54 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9125cac6
media-radio/ibp: fix USE=X build with -native-symlinks
Signed-off-by: Ionen Wolkens <sudinave <AT> gmail.com>
Signed-off-by: Joonas Niilola <juippis <AT> gentoo.org>
media-radio/ibp/ibp-0.21-r1.ebuild | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/media-radio/ibp/ibp-0.21-r1.ebuild b/media-radio/ibp/ibp-0.21-r1.ebuild
index 0d4596ba3e9..a02af617b34 100644
--- a/media-radio/ibp/ibp-0.21-r1.ebuild
+++ b/media-radio/ibp/ibp-0.21-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="6"
@@ -16,7 +16,7 @@ IUSE="X"
RDEPEND="sys-libs/ncurses:0
X? ( x11-libs/libX11 )"
DEPEND="${RDEPEND}
- X? ( x11-misc/imake )"
+ X? ( >=x11-misc/imake-1.0.8-r1 )"
src_prepare() {
# respect CFLAGS if built without USE=X
@@ -31,7 +31,8 @@ src_prepare() {
src_configure() {
if use X ;then
- xmkmf || die
+ CC="$(tc-getBUILD_CC)" LD="$(tc-getLD)" \
+ IMAKECPP="${IMAKECPP:-$(tc-getCPP)}" xmkmf || die
fi
}
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2020-02-08 18:55 David Seifert
0 siblings, 0 replies; 10+ messages in thread
From: David Seifert @ 2020-02-08 18:55 UTC (permalink / raw
To: gentoo-commits
commit: 62392b545fc2243a3815a25579eba6ca3e033e02
Author: David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Sat Feb 8 18:55:02 2020 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Sat Feb 8 18:55:02 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=62392b54
media-radio/ibp: [QA] Fix VariableInHomepage
Signed-off-by: David Seifert <soap <AT> gentoo.org>
media-radio/ibp/ibp-0.21-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/media-radio/ibp/ibp-0.21-r1.ebuild b/media-radio/ibp/ibp-0.21-r1.ebuild
index b261a501e78..6af13746f58 100644
--- a/media-radio/ibp/ibp-0.21-r1.ebuild
+++ b/media-radio/ibp/ibp-0.21-r1.ebuild
@@ -5,7 +5,7 @@ EAPI="6"
inherit toolchain-funcs
DESCRIPTION="Shows currently transmitting beacons of the International Beacon Project (IBP)"
-HOMEPAGE="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/${PN}.html"
+HOMEPAGE="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/ibp.html"
SRC_URI="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/${P}.tgz"
LICENSE="GPL-2"
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2018-02-25 18:38 Thomas Beierlein
0 siblings, 0 replies; 10+ messages in thread
From: Thomas Beierlein @ 2018-02-25 18:38 UTC (permalink / raw
To: gentoo-commits
commit: ca7920238f41ee8bf1c0029e65ba6b398bbb7adb
Author: Thomas Beierlein <tomjbe <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 25 18:38:11 2018 +0000
Commit: Thomas Beierlein <tomjbe <AT> gentoo <DOT> org>
CommitDate: Sun Feb 25 18:38:11 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ca792023
media-radio/ibp: Drop old
Package-Manager: Portage-2.3.24, Repoman-2.3.6
media-radio/ibp/ibp-0.21.ebuild | 46 -----------------------------------------
1 file changed, 46 deletions(-)
diff --git a/media-radio/ibp/ibp-0.21.ebuild b/media-radio/ibp/ibp-0.21.ebuild
deleted file mode 100644
index 9777e82215b..00000000000
--- a/media-radio/ibp/ibp-0.21.ebuild
+++ /dev/null
@@ -1,46 +0,0 @@
-# Copyright 1999-2012 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="4"
-inherit eutils toolchain-funcs
-
-DESCRIPTION="Shows currently transmitting beacons of the International Beacon Project (IBP)"
-HOMEPAGE="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/${PN}.html"
-SRC_URI="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/${P}.tgz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="amd64 x86"
-IUSE="X"
-
-RDEPEND="sys-libs/ncurses
- X? ( x11-libs/libX11 )"
-DEPEND="${RDEPEND}
- X? ( x11-misc/imake )"
-
-src_prepare() {
- # respect CFLAGS if built without USE=X
- sed -i -e "s/= -D/+= -D/" Makefile || die
-}
-
-src_configure() {
- if use X ;then
- xmkmf || die
- fi
-}
-
-src_compile() {
- if use X ; then
- emake \
- CC="$(tc-getCC)" \
- LOCAL_LDFLAGS="${LDFLAGS}" \
- CDEBUGFLAGS="${CFLAGS}"
- else
- emake CC="$(tc-getCC)"
- fi
-}
-
-src_install() {
- dobin ${PN}
- doman ${PN}.1
-}
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2018-02-25 18:21 Thomas Deutschmann
0 siblings, 0 replies; 10+ messages in thread
From: Thomas Deutschmann @ 2018-02-25 18:21 UTC (permalink / raw
To: gentoo-commits
commit: ee77185f3aa881ae7261c4a77eb98833da33d83b
Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
AuthorDate: Sun Feb 25 18:05:00 2018 +0000
Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
CommitDate: Sun Feb 25 18:05:00 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ee77185f
media-radio/ibp: x86 stable (bug #648500)
Package-Manager: Portage-2.3.24, Repoman-2.3.6
media-radio/ibp/ibp-0.21-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/media-radio/ibp/ibp-0.21-r1.ebuild b/media-radio/ibp/ibp-0.21-r1.ebuild
index dc78db85c35..b261a501e78 100644
--- a/media-radio/ibp/ibp-0.21-r1.ebuild
+++ b/media-radio/ibp/ibp-0.21-r1.ebuild
@@ -10,7 +10,7 @@ SRC_URI="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/${P}.tgz"
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="amd64 ~x86"
+KEYWORDS="amd64 x86"
IUSE="X"
RDEPEND="sys-libs/ncurses:0
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2018-02-24 8:27 Jason Zaman
0 siblings, 0 replies; 10+ messages in thread
From: Jason Zaman @ 2018-02-24 8:27 UTC (permalink / raw
To: gentoo-commits
commit: 5c09c2ead1313891f7e70fe5cf171a188f0cb6af
Author: Jason Zaman <perfinion <AT> gentoo <DOT> org>
AuthorDate: Sat Feb 24 08:24:26 2018 +0000
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org>
CommitDate: Sat Feb 24 08:27:35 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c09c2ea
media-radio/ibp: amd64 stable
Gentoo-bug: 648500
Package-Manager: Portage-2.3.19, Repoman-2.3.6
media-radio/ibp/ibp-0.21-r1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/media-radio/ibp/ibp-0.21-r1.ebuild b/media-radio/ibp/ibp-0.21-r1.ebuild
index 3cdb7e826de..dc78db85c35 100644
--- a/media-radio/ibp/ibp-0.21-r1.ebuild
+++ b/media-radio/ibp/ibp-0.21-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="6"
@@ -10,7 +10,7 @@ SRC_URI="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/${P}.tgz"
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 ~x86"
IUSE="X"
RDEPEND="sys-libs/ncurses:0
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/
@ 2017-05-24 6:17 Thomas Beierlein
0 siblings, 0 replies; 10+ messages in thread
From: Thomas Beierlein @ 2017-05-24 6:17 UTC (permalink / raw
To: gentoo-commits
commit: d328151585efccf332d7c5a192f0100179f8278e
Author: Thomas Beierlein <tomjbe <AT> gentoo <DOT> org>
AuthorDate: Wed May 24 06:16:49 2017 +0000
Commit: Thomas Beierlein <tomjbe <AT> gentoo <DOT> org>
CommitDate: Wed May 24 06:16:49 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d3281515
media-radio/ibp: Fix tinfo problem
Package-Manager: Portage-2.3.6, Repoman-2.3.2
media-radio/ibp/ibp-0.21-r1.ebuild | 52 ++++++++++++++++++++++++++++++++++++++
1 file changed, 52 insertions(+)
diff --git a/media-radio/ibp/ibp-0.21-r1.ebuild b/media-radio/ibp/ibp-0.21-r1.ebuild
new file mode 100644
index 00000000000..3cdb7e826de
--- /dev/null
+++ b/media-radio/ibp/ibp-0.21-r1.ebuild
@@ -0,0 +1,52 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="6"
+inherit toolchain-funcs
+
+DESCRIPTION="Shows currently transmitting beacons of the International Beacon Project (IBP)"
+HOMEPAGE="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/${PN}.html"
+SRC_URI="http://wwwhome.cs.utwente.nl/~ptdeboer/ham/${P}.tgz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="X"
+
+RDEPEND="sys-libs/ncurses:0
+ X? ( x11-libs/libX11 )"
+DEPEND="${RDEPEND}
+ X? ( x11-misc/imake )"
+
+src_prepare() {
+ # respect CFLAGS if built without USE=X
+ sed -i -e "s/= -D/+= -D/" Makefile || die
+ # fix compile if ncurses is built with separate libtinfo
+ if has_version "sys-libs/ncurses:0[tinfo]" ;then
+ sed -i -e "s/-lcurses/-lcurses -ltinfo/" Imakefile Makefile || die
+ fi
+
+ eapply_user
+}
+
+src_configure() {
+ if use X ;then
+ xmkmf || die
+ fi
+}
+
+src_compile() {
+ if use X ; then
+ emake \
+ CC="$(tc-getCC)" \
+ LOCAL_LDFLAGS="${LDFLAGS}" \
+ CDEBUGFLAGS="${CFLAGS}"
+ else
+ emake CC="$(tc-getCC)"
+ fi
+}
+
+src_install() {
+ dobin ${PN}
+ doman ${PN}.1
+}
^ permalink raw reply related [flat|nested] 10+ messages in thread
end of thread, other threads:[~2022-12-02 21:32 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-12-02 21:32 [gentoo-commits] repo/gentoo:master commit in: media-radio/ibp/ Ionen Wolkens
-- strict thread matches above, loose matches on Subject: below --
2022-10-11 8:56 Ionen Wolkens
2022-08-27 11:47 Sam James
2021-06-18 21:07 David Seifert
2021-04-15 6:39 Joonas Niilola
2020-02-08 18:55 David Seifert
2018-02-25 18:38 Thomas Beierlein
2018-02-25 18:21 Thomas Deutschmann
2018-02-24 8:27 Jason Zaman
2017-05-24 6:17 Thomas Beierlein
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox