<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>Hi,</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm fixing up a few things in the repos which means I have to take them<br>
offline for a little while. They should be back up and working within a<br>
diel I hope.<br><span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div>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?</div></div>
</div></div>