I am using python 3 on Debian Linux, I am using the python imaging library (pillow fork) to produce a sequence of images, I would like to output the images as a video in a widely supported format (don't care too much which one as long as it's sometthing I can view in VLC and import into video editing software).
How can I do this?