Loïc Blot 9854340c0b Drop libgmp on Android and use mini-gmp (#8047)		2019-01-04 16:45:37 +01:00
..
net.minetest.minetest	Drop libgmp on Android and use mini-gmp (#8047)	2019-01-04 16:45:37 +01:00