I have sequentially-numbered .PNG files and I want to compose them into a video of some kind. All the frames are the same size and the framerate is constant. I don't necessarily want an animated .PNG file, it's OK to convert them to something lossy. Linux or Windows tools are fine (Linux preferred). If any of you are really clever, these .PNGs come from saved QImage objects (Qt 3.3). If you know how to save them as a movie clip of some kind directly, that'd be even better. Thanks.

Mencoder?

VirtualDub. Just open the first file and it'll pick up the rest for you.