[[!comment format=mdwn
 username="joey"
 subject="""comment 1"""
 date="2016-01-18T17:17:55Z"
 content="""
I've merged that, thanks.

IIRC, ghc only produces reproducible output when not doing any parallel
building. If that is currently avoided, it's probably only by accident.
It might be worth forcing -j1 when building the debian package.
"""]]
