commit: f26c248e743d5776b2ff05e28621acfdb6529e97
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 31 16:59:31 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Dec 31 16:59:31 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f26c248e
sci-mathematics/why3-for-spark: fix whitespace in metadata.xml
Fixes: d1fd3ef71e050b12fa1023bb061fc5e14a549cc5
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/why3-for-spark/metadata.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/why3-for-spark/metadata.xml
b/sci-mathematics/why3-for-spark/metadata.xml
index c8a7235c7b7d..17bbe7c1b27f 100644
--- a/sci-mathematics/why3-for-spark/metadata.xml
+++ b/sci-mathematics/why3-for-spark/metadata.xml
@@ -26,6 +26,6 @@
<flag name="zip">Enable compression of session files</flag>
</use>
<upstream>
- <remote-id type="github">AdaCore/why3</remote-id>
+ <remote-id type="github">AdaCore/why3</remote-id>
</upstream>
</pkgmetadata>
