diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-05 15:06:42 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-05 15:06:42 +0000 |
| commit | fbfe3f841f32cbf766cd6ba1d05c3930540be577 (patch) | |
| tree | 2ad069f43557a857380a1a671de130a635441eac /sci-mathematics/cvc4/metadata.xml | |
| parent | c3870d5920e6ee600e9360c3a5b004b7ad0c5abf (diff) | |
gentoo auto-resync : 05:12:2022 - 15:06:42
Diffstat (limited to 'sci-mathematics/cvc4/metadata.xml')
| -rw-r--r-- | sci-mathematics/cvc4/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
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> |