gif to avi (in linux)

0. Install "ffmpeg" package.

1. Extract images from gif

convert a.gif a%05d.png

2. Combine to single avi 

ffmpeg -r 2 -i a%05d.png -r 25 a.avi

-r ? : speed control