Merge branch 'PariDroid' into 'master'

Fix PariDroid NDK version

PariDroid tries to use the x86_64 version of the NDK toolchain, but the BS is 32-bit

See merge request !558

metadata/fr.ubordeaux.math.paridroid.txt

@@ -25,7 +25,8 @@ Build:2.7.2.1.3,8
     subdir=PariDroid
     srclibs=pari@pari-2.7.2
     target=android-10
-    build=ANDROID_NDK=$$NDK$$ && export ANDROID_NDK && cd .. && \
+    prebuild=sed -i -e 's/x86_64/x86/g' ../Makefile
+    build=cd .. && \
         make pari
     buildjni=yes
     ndk=r10d