The animation package uses ffmpeg to export movies into video formats. It is used in almost all Linux distributions. This repo contains build scripts to build FFmpeg executable binary for Android and also publish prebuilt files here.
They were cross-compiled using mingw-w64 and ffmpeg 20170404-1229007 from Zeranoe builds. If you want to use a specific version of FFMPEG, you can set the FFMPEG_BINARY environment variable See moviepy/config_defaults.