Hi,

I'm fixing up a few things in the repos which means I have to take them
offline for a little while. They should be back up and working within a
diel I hope.

Was it some bad timing on my side or does everybody needs to remove and reinstall all packages? I had to do so because build numbers were not bumped after upgrading to ghc-7.10.3-3?