diff options
Diffstat (limited to 'sci-mathematics/acl2/metadata.xml')
| -rw-r--r-- | sci-mathematics/acl2/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml index 672cea888..0782df404 100644 --- a/sci-mathematics/acl2/metadata.xml +++ b/sci-mathematics/acl2/metadata.xml @@ -19,6 +19,6 @@ Software System Award. </flag> </use> <upstream> - <remote-id type="github">acl2/acl2</remote-id> + <remote-id type="github">acl2-devel/acl2-devel</remote-id> </upstream> </pkgmetadata> |