diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-12-05 14:32:33 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-12-05 14:32:33 +0100 |
| commit | 04828edf3713620506974d416284136cc7741923 (patch) | |
| tree | b0ce5ad687c16ffc071e3623e21318c72f1c1a06 /sci-mathematics/cvc4 | |
| parent | sci-calculators/orpie: add github upstream metadata (diff) | |
| download | gentoo-04828edf3713620506974d416284136cc7741923.tar.gz gentoo-04828edf3713620506974d416284136cc7741923.tar.bz2 gentoo-04828edf3713620506974d416284136cc7741923.zip | |
sci-mathematics/cvc4: add github upstream metadata
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/cvc4')
| -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> |