On Sun, Sep 16, 2012 at 3:00 PM, Joachim Breitner <mail at joachim-breitner.de> wrote: > Have you tried dist-upgrade? (I am part of the Debian team that > maintains ghc, so I’m interested in user reports). Nah. Recompiling everything I use is a waste of time unless I'm actually developing something, so I put it off as long as possible. -- gwern http://www.gwern.net