diff options
| author |   Sam James <sam@gentoo.org> | 2021-01-17 03:53:38 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-01-17 04:10:25 +0000 |
| commit | f05a495a97fbe59f8b6fb6deb0f615a83c8886eb (patch) | |
| tree | 112588ccff65c31f30e8e4ebb30c82066138c57b /sci-mathematics | |
| parent | net-misc/gwhois: fix RedundantDodir (diff) | |
| download | gentoo-f05a495a97fbe59f8b6fb6deb0f615a83c8886eb.tar.gz gentoo-f05a495a97fbe59f8b6fb6deb0f615a83c8886eb.tar.bz2 gentoo-f05a495a97fbe59f8b6fb6deb0f615a83c8886eb.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/alt-ergo/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml index 8e305fa324a8..f428be9bb600 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> |