diff options
author | 2017-07-13 07:38:03 (GMT) | |
---|---|---|
committer | 2017-07-13 07:38:03 (GMT) | |
commit | 45c5bb0f484cba724be2c6105801dcce9a1a82d9 (patch) | |
tree | 8fd1c8eaa2ef203009d72b6ca6348611dcc5ee1c /packages/gmp/package.desc | |
parent | 8f8e131d566af1f577d8fb6e62e6f121b7955472 (diff) | |
parent | b32fcf7c1eea890a2bd3f88487f818ba241aabb1 (diff) |
Merge pull request #767 from stilor/packages
Packages
Diffstat (limited to 'packages/gmp/package.desc')
-rw-r--r-- | packages/gmp/package.desc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/packages/gmp/package.desc b/packages/gmp/package.desc new file mode 100644 index 0000000..eed0d3c --- /dev/null +++ b/packages/gmp/package.desc @@ -0,0 +1,4 @@ +repository='hg https://gmplib.org/repo/gmp/' +bootstrap='./.bootstrap' +mirrors='https://gmplib.org/download/gmp $(CT_Mirrors GNU gmp)' +milestones='5.1' |