diff options
Diffstat (limited to 'sci-mathematics/alt-ergo')
-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> |