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