diff options
Diffstat (limited to 'packages/gmp/package.desc')
| -rw-r--r-- | packages/gmp/package.desc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/packages/gmp/package.desc b/packages/gmp/package.desc index 8a97436..a7ed6ef 100644 --- a/packages/gmp/package.desc +++ b/packages/gmp/package.desc @@ -1,2 +1,3 @@ -repository="hg https://gmplib.org/repo/gmp/" -milestones="5.1" +repository='hg https://gmplib.org/repo/gmp/' +mirrors='https://gmplib.org/download/gmp $(CT_Mirrors GNU gmp)' +milestones='5.1' |