commit: d1fd3ef71e050b12fa1023bb061fc5e14a549cc5
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Dec 31 16:49:58 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Dec 31 16:53:39 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d1fd3ef7
sci-mathematics/why3-for-spark: add github upstream metadata
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/why3-for-spark/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/sci-mathematics/why3-for-spark/metadata.xml
b/sci-mathematics/why3-for-spark/metadata.xml
index 353e88c87868..c8a7235c7b7d 100644
--- a/sci-mathematics/why3-for-spark/metadata.xml
+++ b/sci-mathematics/why3-for-spark/metadata.xml
@@ -25,4 +25,7 @@
<flag name="zarith">Use Zarith (<pkg>dev-ml/zarith</pkg>)
instead of Nums (<pkg>dev-ml/num</pkg>) for computations</flag>
<flag name="zip">Enable compression of session files</flag>
</use>
+ <upstream>
+ <remote-id type="github">AdaCore/why3</remote-id>
+ </upstream>
</pkgmetadata>
