Converting animated GIF to AVI

Converting animated GIF to AVI

In motion jpeg (mjpeg) format, the timing will be lost.

mencoder animated.gif -o animated.avi -ovc lavc -lavcopts vcodec=mjpeg