/usr/bin/gif2epsn
/usr/bin/gif2ps
/usr/bin/gif2rgb
/usr/bin/gifasm
/usr/bin/gifbg
/usr/bin/gifburst
/usr/bin/gifclip
/usr/bin/gifclrmp
/usr/bin/gifcolor
/usr/bin/gifcomb
/usr/bin/gifcompose
/usr/bin/giffiltr
/usr/bin/giffix
/usr/bin/gifflip
/usr/bin/gifhisto
/usr/bin/gifinfo
/usr/bin/gifinter
/usr/bin/gifinto
/usr/bin/gifovly
/usr/bin/gifpos
/usr/bin/gifrotat
/usr/bin/gifrsize
/usr/bin/gifspnge
/usr/bin/giftext
/usr/bin/gifwedge
/usr/bin/icon2gif
/usr/bin/raw2gif
/usr/bin/rgb2gif
/usr/bin/text2gif
You may install this package on Debian with
apt-get
install giflib-tools