ffmpeg为视频处理软件，也是数学视频教程制作资源库manim配置所需要的内置软件，官网https://ffmpeg.zeranoe.com/builds/，该软件包版本为20200501-39fb1e9、win64、static版本。