Hi,

> The version of the GIMP I have on my Debian (woody) system doesn't seem to
> support exporting a graphic in GIF format. Normally I would just use PNG,
> but I need GIF for this particular thing I'm working on. Do I need to
> install a lib?

Did you try Image|Mode|Indexed ?

Ron