pandoc 1.12.4.2

A curated binary or do you mean a curated tarball? I assume the latter as we don't want to pull binaries into the core repo.