gif2mp4
Converting from an animated GIF to MP4 should be quick and easy.
installation
brew tap ChristianBundy/tap
brew install gif2mp4
usage
gif2mp4 input [ output ]
example use
gif2mp4 cat.gif
gif2mp4 cat.gif kitty.mp4
uninstallation
brew uninstall gif2mp4