Iain Lane wrote: > Hi, > > A new GHC release has been uploaded to sid since agda hit NEW. The > binary in the archive thus has incorrect deps and is uninstallable. > Please binNMU it. > > nmu agda_2.2.4+dfsg-1 . amd64 -m 'Rebuild against GHC6 6.10.4' Someone already scheduled the binNMU. Cheers Luk