commit: 5075b55d9b65667b3b900fc6a2bac7d66637a5b4
Author: Matt Turner <mattst88 <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 25 17:36:18 2025 +0000
Commit: Matt Turner <mattst88 <AT> gentoo <DOT> org>
CommitDate: Wed Jun 25 17:39:52 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5075b55d
sci-mathematics/why3-for-spark: Fix maintainer
It's clear from 8cd7407a5d3d ("sci-mathematics/why3-for-spark: drop
myself as a maintainer") that the intention was to remove himself.
Signed-off-by: Matt Turner <mattst88 <AT> gentoo.org>
sci-mathematics/why3-for-spark/metadata.xml | 1 -
1 file changed, 1 deletion(-)
diff --git a/sci-mathematics/why3-for-spark/metadata.xml
b/sci-mathematics/why3-for-spark/metadata.xml
index 17bbe7c1b27f..465b310bba32 100644
--- a/sci-mathematics/why3-for-spark/metadata.xml
+++ b/sci-mathematics/why3-for-spark/metadata.xml
@@ -3,7 +3,6 @@
<pkgmetadata>
<maintainer type="project">
<email>[email protected]</email>
- <name>Tupone Alfredo</name>
</maintainer>
<longdescription lang="en">
Why3 is a platform for deductive program verification. It
provides a
