En este caso vamos a utilizar 2 programas: un editor de video (Avidemux) y un editor de imágenes (Gimp).

Lo primero que hacemos es abrir el video con Avidemux

vamos a archivo>guardar>guardar selección como imágenes JPEG

Una vez hayamos guardado las imágenes, iniciamos Gimp, hacemos archivo>abrir como capas y seleccionamos las imágenes que nos interesen del video

Hacemos archivo>guardar como y elegimos la extensión gif, apareciendo esto en pantalla

marcamos guardar como animación, click en exportar  y elegimos la velocidad o retardo de las imágenes

guardar y ya esta!!