landry 81fb4cc515 Fix libgmp detection and build against devel/gmp

2018-06-25 20:44:13 +00:00

..

patch-cmake_Modules_FindGMP_cmake

Fix libgmp detection and build against devel/gmp

2018-06-25 20:44:13 +00:00

patch-src_CMakeLists_txt

Update to minetest 0.4.17.1, from Leonid Bobrov.

2018-06-25 20:02:06 +00:00