index aa13082eb7318bc080ee43e4917531a18bf0b260..754a095b312e5f4a7302ae8eb22cd81300187756 100644 (file)
Binary files a/misc/builddeps/dp.linux64/lib/libgmp.a and b/misc/builddeps/dp.linux64/lib/libgmp.a differ
index 818c09e7c4ea7785fac9543f1771ac79b3184413..fc7abbae22391e8b534c5fa4b0e66f2a744c136f 100755 (executable)
Binary files a/misc/builddeps/dp.linux64/lib/libgmp.so.10.0.1 and b/misc/builddeps/dp.linux64/lib/libgmp.so.10.0.1 differ