coq: 8.4pl4 -> 8.4pl5
emacs24Macport: allow installing either 24.3 or 24.4
ffmpeg: 2.4.2 -> 2.4.3