gif to mp4 using ffmpeg

[ecto1a]

ffmpeg -i your_gif.gif -c:v libvpx -crf 12 -b:v 500K output.mp4

ffmpeg -f gif -i infile.gif outfile.mp4