2
1
Possible Duplicate:
How do I convert an animated GIF to a YouTube friendly video format?
The question is pretty straight-forward: How to convert animated gif file to mp4 video?
It might seem totally useless but it can come handy when trying to insert animations to a PDF presentation (https://tex.stackexchange.com/questions/429/animation-in-pdf-presentations-without-adobe-reader) and to avoid uneccessary complications needed to get adobe reader working (http://abarry.org/the-complete-guide-to-embedded-videos-in-beamer-under-linux/).
4FYI, FFmpeg isn't obsolete, it's still there and actively maintained.
avconv
is merely the fork Ubuntu chose to bundle. – slhck – 2013-01-27T16:07:09.900