Python module for making Quicktime or mpeg movies from images

[jeremito]

My Python script makes a bunch of images that I want to use as frames
in a movie.  I've tried searching for a module that will take these
images and put them together in a Quicktime or mpeg movie, but haven't
found anything.  My images are currently pdfs, but I could make them
into just about anything if needed.

Is there a module, or example of how to do this?
Thanks,
Jeremy