gif2png(1) on Linux
The text 1280d19a9a11, as Debian 2.2 (Potato) shipped it.
convert GIFs to PNGs
Flags it lists
-
-O -
-b -
-d -
-f -
-g -
-h -
-i -
-n -
-p -
-r -
-s -
-v -
-w