Bug#644591: [Pkg-haskell-maintainers] Bug#644591: Bug#644591: breaks agda-stdlib too

Hi, Am Dienstag, den 18.10.2011, 14:31 +0100 schrieb Iain Lane: > Hi, > > On Tue, Oct 18, 2011 at 11:23:23AM +0200, Helmut Grohne wrote: > > affects 644591 + agda-stdlib > > thanks > > Yeah, and anything else that uses terminfo. Shall I upload this patch or > are we close to seeing 7.2? I think

Bug#644591: [Pkg-haskell-maintainers] Bug#644591: breaks agda-stdlib too

Hi, On Tue, Oct 18, 2011 at 11:23:23AM +0200, Helmut Grohne wrote: > affects 644591 + agda-stdlib > thanks Yeah, and anything else that uses terminfo. Shall I upload this patch or are we close to seeing 7.2? Cheers, -- Iain Lane [ i...@orangesquash.org.uk ] Deb

Bug#644591: breaks agda-stdlib too

affects 644591 + agda-stdlib thanks $ ghci -package Agda GHCi, version 7.0.4: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package extensible-exceptions-