diff options
| author |   Sam James <sam@gentoo.org> | 2024-12-31 16:49:58 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2024-12-31 16:53:39 +0000 |
| commit | d1fd3ef71e050b12fa1023bb061fc5e14a549cc5 (patch) | |
| tree | b8215978a109b2a86deda92eb4ea3ee394592fdd /sci-mathematics | |
| parent | sci-mathematics/why3-for-spark: update HOMEPAGE (diff) | |
| download | gentoo-d1fd3ef71e050b12fa1023bb061fc5e14a549cc5.tar.gz gentoo-d1fd3ef71e050b12fa1023bb061fc5e14a549cc5.tar.bz2 gentoo-d1fd3ef71e050b12fa1023bb061fc5e14a549cc5.zip | |
sci-mathematics/why3-for-spark: add github upstream metadata
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/why3-for-spark/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
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> |