The magic ffmpeg command to speed up the video and merge an MP3 into it:
ffmpeg -i a.mov -i b.mp3 -acodec copy -ab 128k -ar 44100 -map 0:0 -map 1:0 -vf "setpts=(1/6)*PTS" c.mp4
Loading more stuff…
Hmm…it looks like things are taking a while to load. Try again?