diff options
| author |   Alexey Neyman <stilor@att.net> | 2017-08-21 18:48:13 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2017-08-21 18:48:13 (GMT) |
| commit | 9ee0e06f573d2e35444324bc308a1326bbba9a5f (patch) | |
| tree | 8acdcc53fe96e63ae013be5018ecf13fc90d7f08 /packages | |
| parent | b99b5288e762970d4b52c7c7b709bc725aa99edf (diff) | |
| parent | 2aaa25d2e97460ab940225e9d10611996f541442 (diff) | |
Merge pull request #804 from stilor/detect-config-change
Various environment-related fixes
Diffstat (limited to 'packages')
| -rw-r--r-- | packages/gmp/package.desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/gmp/package.desc b/packages/gmp/package.desc index f7dd3da..bb97cb5 100644 --- a/packages/gmp/package.desc +++ b/packages/gmp/package.desc @@ -1,5 +1,5 @@ repository='hg https://gmplib.org/repo/gmp/' bootstrap='./.bootstrap' -mirrors='https://gmplib.org/download/gmp https:////gmplib.org/download/gmp/archive $(CT_Mirrors GNU gmp)' +mirrors='https://gmplib.org/download/gmp https://gmplib.org/download/gmp/archive $(CT_Mirrors GNU gmp)' milestones='5.1' archive_formats='.tar.xz .tar.lz .tar.bz2' |