Re: Please binNMU agda on amd64

2009-08-11 Thread Martin Zobel-Helas
Hi, On Tue Aug 11, 2009 at 23:10:24 +0200, Luk Claes wrote: > 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 -

Re: Please binNMU agda on amd64

2009-08-11 Thread Luk Claes
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

Please binNMU agda on amd64

2009-08-11 Thread Iain Lane
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 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' Regards, Iain -BEGI