Merge pull request #35 from jl777/dev

update dev
2018-05-13 13:54:45 +02:00
parent 7ecc07513f 581d2c416e
commit c7f4af03c7
17 changed files with 151 additions and 68 deletions
--- a/depends/packages/libgmp.mk
+++ b/depends/packages/libgmp.mk
@@ -18,7 +18,7 @@ $(package)_dependencies=
 $(package)_config_opts=--enable-cxx --disable-shared
 else
 $(package)_version=6.1.1
-$(package)_download_path=https://gmplib.org/download/gmp/
+$(package)_download_path=https://supernetorg.bintray.com/misc
 $(package)_file_name=gmp-$($(package)_version).tar.bz2
 $(package)_sha256_hash=a8109865f2893f1373b0a8ed5ff7429de8db696fc451b1036bd7bdf95bbeffd6
 $(package)_dependencies=