* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-09-10 16:36 Florian Schmaus
0 siblings, 0 replies; 10+ messages in thread
From: Florian Schmaus @ 2022-09-10 16:36 UTC (permalink / raw
To: gentoo-commits
commit: 8e5c440b6eb50975f4c366f493720f9f073840fe
Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net>
AuthorDate: Mon Jun 20 16:37:03 2022 +0000
Commit: Florian Schmaus <flow <AT> gentoo <DOT> org>
CommitDate: Sat Sep 10 16:36:08 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8e5c440b
dev-java/jakarta-el-api: new package, add 5.0.1
Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net>
Signed-off-by: Florian Schmaus <flow <AT> gentoo.org>
dev-java/jakarta-el-api/Manifest | 1 +
.../jakarta-el-api/jakarta-el-api-5.0.1.ebuild | 33 ++++++++++++++++++++++
dev-java/jakarta-el-api/metadata.xml | 7 +++++
3 files changed, 41 insertions(+)
diff --git a/dev-java/jakarta-el-api/Manifest b/dev-java/jakarta-el-api/Manifest
new file mode 100644
index 000000000000..0463d0c2a8ea
--- /dev/null
+++ b/dev-java/jakarta-el-api/Manifest
@@ -0,0 +1 @@
+DIST jakarta-el-api-5.0.1.tar.gz 148830 BLAKE2B 408d71576bc2f4de8bae9f54ddd10373d5f6674280a06e89cbda005a34c1574d6602f51a22c221a4aecc8a65848b40aa7e25781b0043cf6426c7b48f364e1136 SHA512 ddbaa201c354f79d99df9b6470eac3bca31207137eae3e5a6ac1b16bcd2ec382239aa64765d485c488ebd925b72b4023c6724bafd726557b9828a3c085982d24
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
new file mode 100644
index 000000000000..6ff019a38f4d
--- /dev/null
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+# Skeleton command:
+# java-ebuilder --generate-ebuild --workdir . --pom api/pom.xml --download-uri https://github.com/jakartaee/expression-language/archive/5.0.1-RELEASE-api.tar.gz --slot 0 --keywords "~amd64" --ebuild jakarta-el-api-5.0.1.ebuild
+
+EAPI=8
+
+# No tests since we don't have junit-jupiter
+JAVA_PKG_IUSE="doc source"
+MAVEN_ID="jakarta.el:jakarta.el-api:5.0.1"
+# JAVA_TESTING_FRAMEWORKS="junit-jupiter"
+
+inherit java-pkg-2 java-pkg-simple
+
+DESCRIPTION="Jakarta Expression Language defines an expression language for Java applications"
+HOMEPAGE="https://projects.eclipse.org/projects/ee4j.el"
+SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-api.tar.gz -> ${P}.tar.gz"
+
+LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
+SLOT="0"
+KEYWORDS="~amd64"
+
+DEPEND=">=virtual/jdk-11:*"
+# <release>11</release>
+# https://github.com/jakartaee/expression-language/blob/5.0.1-RELEASE-api/api/pom.xml#L143
+RDEPEND=">=virtual/jre-11:*"
+
+DOCS=( {CONTRIBUTING,NOTICE,README}.md )
+
+S="${WORKDIR}/expression-language-${PV}-RELEASE-api"
+
+JAVA_SRC_DIR="api/src/main/java"
diff --git a/dev-java/jakarta-el-api/metadata.xml b/dev-java/jakarta-el-api/metadata.xml
new file mode 100644
index 000000000000..75321cfb5598
--- /dev/null
+++ b/dev-java/jakarta-el-api/metadata.xml
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>java@gentoo.org</email>
+ </maintainer>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-09-10 18:59 Arthur Zamarin
0 siblings, 0 replies; 10+ messages in thread
From: Arthur Zamarin @ 2022-09-10 18:59 UTC (permalink / raw
To: gentoo-commits
commit: 325b9aff1f6d3dab890d269a6d1bae60d0e46c77
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 10 18:58:51 2022 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Sep 10 18:58:51 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=325b9aff
dev-java/jakarta-el-api: Keyword 5.0.1 arm, #869542
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
index 6ff019a38f4d..a84895b08285 100644
--- a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
@@ -19,7 +19,7 @@ SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~arm"
DEPEND=">=virtual/jdk-11:*"
# <release>11</release>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-09-10 19:13 Arthur Zamarin
0 siblings, 0 replies; 10+ messages in thread
From: Arthur Zamarin @ 2022-09-10 19:13 UTC (permalink / raw
To: gentoo-commits
commit: ad402f9919e9e8fe4dad925ac4eefdc1fda0845b
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 10 19:13:24 2022 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Sep 10 19:13:24 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ad402f99
dev-java/jakarta-el-api: Keyword 5.0.1 arm64, #869542
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
index a84895b08285..e0c226accf69 100644
--- a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
@@ -19,7 +19,7 @@ SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
SLOT="0"
-KEYWORDS="~amd64 ~arm"
+KEYWORDS="~amd64 ~arm ~arm64"
DEPEND=">=virtual/jdk-11:*"
# <release>11</release>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-09-25 8:24 Arthur Zamarin
0 siblings, 0 replies; 10+ messages in thread
From: Arthur Zamarin @ 2022-09-25 8:24 UTC (permalink / raw
To: gentoo-commits
commit: 7f2335c02511a4115c5f6c04dd142f1b4b27c832
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 25 08:24:08 2022 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Sep 25 08:24:08 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7f2335c0
dev-java/jakarta-el-api: Keyword 5.0.1 ppc64, #869542
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
index e0c226accf69..5f091d3de8b1 100644
--- a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
@@ -19,7 +19,7 @@ SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
SLOT="0"
-KEYWORDS="~amd64 ~arm ~arm64"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64"
DEPEND=">=virtual/jdk-11:*"
# <release>11</release>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-10-10 11:49 Sam James
0 siblings, 0 replies; 10+ messages in thread
From: Sam James @ 2022-10-10 11:49 UTC (permalink / raw
To: gentoo-commits
commit: 2f11b3fa9c4f293fe4813d27fd14ccd991d7f762
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 10 11:48:26 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Oct 10 11:48:26 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2f11b3fa
dev-java/jakarta-el-api: Stabilize 5.0.1 amd64, #876448
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
index 5f091d3de8b1..268a1e16a5f1 100644
--- a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
@@ -19,7 +19,7 @@ SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
SLOT="0"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc64"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc64"
DEPEND=">=virtual/jdk-11:*"
# <release>11</release>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-10-10 23:40 Sam James
0 siblings, 0 replies; 10+ messages in thread
From: Sam James @ 2022-10-10 23:40 UTC (permalink / raw
To: gentoo-commits
commit: 3abe8db9b96d6735ceb217a12643d9fd25b00f9f
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 10 23:39:46 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Oct 10 23:39:46 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3abe8db9
dev-java/jakarta-el-api: Keyword 5.0.1 x86, #869542
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
index 268a1e16a5f1..57e07997639f 100644
--- a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
@@ -19,7 +19,7 @@ SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
SLOT="0"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc64"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc64 ~x86"
DEPEND=">=virtual/jdk-11:*"
# <release>11</release>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-10-11 13:01 Miroslav Šulc
0 siblings, 0 replies; 10+ messages in thread
From: Miroslav Šulc @ 2022-10-11 13:01 UTC (permalink / raw
To: gentoo-commits
commit: e926428e012778d6f3816e7aaf133ebd28f84516
Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net>
AuthorDate: Mon Oct 3 19:12:25 2022 +0000
Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org>
CommitDate: Tue Oct 11 13:01:49 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e926428e
dev-java/jakarta-el-api: adjust slot to API version
SLOT "0" -> "5.0" according to
https://javadoc.io/doc/jakarta.el/jakarta.el-api/latest/jakarta.el/module-summary.html
Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org>
.../{jakarta-el-api-5.0.1.ebuild => jakarta-el-api-5.0.1-r1.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
similarity index 99%
rename from dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
rename to dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
index 57e07997639f..a957bf56b450 100644
--- a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1.ebuild
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
@@ -18,8 +18,8 @@ HOMEPAGE="https://projects.eclipse.org/projects/ee4j.el"
SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-api.tar.gz -> ${P}.tar.gz"
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
-SLOT="0"
KEYWORDS="amd64 ~arm ~arm64 ~ppc64 ~x86"
+SLOT="5.0"
DEPEND=">=virtual/jdk-11:*"
# <release>11</release>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-10-12 18:56 Arthur Zamarin
0 siblings, 0 replies; 10+ messages in thread
From: Arthur Zamarin @ 2022-10-12 18:56 UTC (permalink / raw
To: gentoo-commits
commit: 3d638321ef365fa7d41f29a1697d76ab4c34430e
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 12 18:56:00 2022 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 12 18:56:00 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3d638321
dev-java/jakarta-el-api: Stabilize 5.0.1-r1 ppc64, #876448
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
index a957bf56b450..4fba50ef4b8d 100644
--- a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
@@ -18,7 +18,7 @@ HOMEPAGE="https://projects.eclipse.org/projects/ee4j.el"
SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-api.tar.gz -> ${P}.tar.gz"
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc64 ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc64 ~x86"
SLOT="5.0"
DEPEND=">=virtual/jdk-11:*"
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-10-19 17:35 Arthur Zamarin
0 siblings, 0 replies; 10+ messages in thread
From: Arthur Zamarin @ 2022-10-19 17:35 UTC (permalink / raw
To: gentoo-commits
commit: 9086a4b61c41b6e2ec18b18256a969bb71d700aa
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 19 17:35:27 2022 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 19 17:35:27 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9086a4b6
dev-java/jakarta-el-api: Stabilize 5.0.1-r1 arm64, #876448
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
index 4fba50ef4b8d..cce29251c314 100644
--- a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
@@ -18,7 +18,7 @@ HOMEPAGE="https://projects.eclipse.org/projects/ee4j.el"
SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-api.tar.gz -> ${P}.tar.gz"
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
-KEYWORDS="amd64 ~arm ~arm64 ppc64 ~x86"
+KEYWORDS="amd64 ~arm arm64 ppc64 ~x86"
SLOT="5.0"
DEPEND=">=virtual/jdk-11:*"
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/
@ 2022-11-03 8:43 Agostino Sarubbo
0 siblings, 0 replies; 10+ messages in thread
From: Agostino Sarubbo @ 2022-11-03 8:43 UTC (permalink / raw
To: gentoo-commits
commit: ce992b9340c07bdb4fdc23d6edf7d9913af77951
Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
AuthorDate: Thu Nov 3 08:43:42 2022 +0000
Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org>
CommitDate: Thu Nov 3 08:43:42 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ce992b93
dev-java/jakarta-el-api: Stabilize 5.0.1-r1 x86, #876448
Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org>
dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
index cce29251c314..9147cace3d1f 100644
--- a/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
+++ b/dev-java/jakarta-el-api/jakarta-el-api-5.0.1-r1.ebuild
@@ -18,7 +18,7 @@ HOMEPAGE="https://projects.eclipse.org/projects/ee4j.el"
SRC_URI="https://github.com/jakartaee/expression-language/archive/${PV}-RELEASE-api.tar.gz -> ${P}.tar.gz"
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
-KEYWORDS="amd64 ~arm arm64 ppc64 ~x86"
+KEYWORDS="amd64 ~arm arm64 ppc64 x86"
SLOT="5.0"
DEPEND=">=virtual/jdk-11:*"
^ permalink raw reply related [flat|nested] 10+ messages in thread
end of thread, other threads:[~2022-11-03 8:44 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-11-03 8:43 [gentoo-commits] repo/gentoo:master commit in: dev-java/jakarta-el-api/ Agostino Sarubbo
-- strict thread matches above, loose matches on Subject: below --
2022-10-19 17:35 Arthur Zamarin
2022-10-12 18:56 Arthur Zamarin
2022-10-11 13:01 Miroslav Šulc
2022-10-10 23:40 Sam James
2022-10-10 11:49 Sam James
2022-09-25 8:24 Arthur Zamarin
2022-09-10 19:13 Arthur Zamarin
2022-09-10 18:59 Arthur Zamarin
2022-09-10 16:36 Florian Schmaus
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox