5 Mar
2016
5 Mar
'16
5:35 p.m.
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?