commit: 04828edf3713620506974d416284136cc7741923
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 5 13:32:33 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Dec 5 13:32:33 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=04828edf
sci-mathematics/cvc4: add github upstream metadata
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/sci-mathematics/cvc4/metadata.xml
b/sci-mathematics/cvc4/metadata.xml
index 685032332723..012b2a3438e4 100644
--- a/sci-mathematics/cvc4/metadata.xml
+++ b/sci-mathematics/cvc4/metadata.xml
@@ -17,4 +17,7 @@
the validity (or, dually, the satisfiability) of first-order
formulas
in a large number of built-in logical theories and their
combination.
</longdescription>
+ <upstream>
+ <remote-id type="github">CVC4/CVC4-archived</remote-id>
+ </upstream>
</pkgmetadata>
