Paolo Ceroni <[email protected]> added the comment: We've checked: it is an error in uploading the file: it is ffmpeg-10000.zip instead ffmpeg.zip. sorry for the mistake. hope that everything's okay now.
Paolo ____________________________________________________ FFmpeg issue tracker <[email protected]> <https://roundup.ffmpeg.org/roundup/ffmpeg/issue455> ____________________________________________________
