pandoc 1.12.4.2

Looks like the official location is now: https://github.com/jgm/pandoc/archive/1.12.4.2.tar.gz