On Mon, May 27, 2013 at 05:15:02PM +0200, Joachim Breitner wrote: > Am Montag, den 27.05.2013, 15:48 +0100 schrieb Colin Watson: > > Essentially unusable. > > ok, sounds like removing ghci from the arm package seems to be the right > thing to do. > > Any reason to do it now over later, or later over now?
It only changes the libghc-ghc-dev ABI, which doesn't have too large a chain, so it shouldn't be too painful to do now. I guess fixing #709911 should be in the same upload. It looks like all architectures have been making some reasonable progress elsewhere. -- Colin Watson [[email protected]] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
