fix GMP base URL
commitce6459d570bd66821b0a79364255dfb87084540a
authorrofl0r <retnyg@gmx.net>
Fri, 11 May 2018 17:46:27 +0000 (11 18:46 +0100)
committerrofl0r <retnyg@gmx.net>
Fri, 11 May 2018 17:46:30 +0000 (11 18:46 +0100)
treebccfb7962ce5af5bafa3503758755fae6b31dc13
parentc2840fa55a9e394d9f9ad044f851114ec47a280a
fix GMP base URL

closes #71
defs.sh