Loïc Blot 9854340c0b Drop libgmp on Android and use mini-gmp (#8047)		2019-01-04 16:45:37 +01:00
..
debug	Update Android java code (#7820)	2018-12-02 23:39:35 +00:00
main	Drop libgmp on Android and use mini-gmp (#8047)	2019-01-04 16:45:37 +01:00