From fbfe3f841f32cbf766cd6ba1d05c3930540be577 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Mon, 5 Dec 2022 15:06:42 +0000
Subject: gentoo auto-resync : 05:12:2022 - 15:06:42

---
 sci-mathematics/cvc4/metadata.xml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'sci-mathematics/cvc4/metadata.xml')

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>
-- 
cgit v1.2.3