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