MoNTE48 59f1321b24 Update embedded mini-gmp to the latest version		2019-06-07 18:51:56 +02:00
..
CMakeLists.txt	Update embedded jsoncpp from unk version to 0.10.6 + move libs to lib/ instead of src/ (#5473)	2017-04-02 10:51:50 +02:00
mini-gmp.c	Update embedded mini-gmp to the latest version	2019-06-07 18:51:56 +02:00
mini-gmp.h	Update embedded mini-gmp to the latest version	2019-06-07 18:51:56 +02:00