change gmplib url
commit4c7854139f1f66dfe0e9d2a7bc77dc77042e3adc
authorJason Blackwell <jason@blackwell.io>
Tue, 31 Jan 2017 01:29:54 +0000 (30 19:29 -0600)
committerrofl0r <retnyg@gmx.net>
Tue, 31 Jan 2017 01:56:11 +0000 (31 01:56 +0000)
tree1be5e28438a6cd317fc6b0b3c79ddefcdcd14ed3
parente01e535590fd6e0d2c1c289d990a2fcae1215071
change gmplib url
defs.sh