commit: f05a495a97fbe59f8b6fb6deb0f615a83c8886eb
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 17 03:53:38 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 17 04:10:25 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f05a495a
sci-mathematics/alt-ergo: add github remote-id
Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/alt-ergo/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/sci-mathematics/alt-ergo/metadata.xml
b/sci-mathematics/alt-ergo/metadata.xml
index 8e305fa324a..f428be9bb60 100644
--- a/sci-mathematics/alt-ergo/metadata.xml
+++ b/sci-mathematics/alt-ergo/metadata.xml
@@ -13,4 +13,7 @@
various domains such as hardware design, software verification
and
formal testing.
</longdescription>
+ <upstream>
+ <remote-id type="github">OCamlPro/alt-ergo</remote-id>
+ </upstream>
</pkgmetadata>
