Re: Please binNMU agda on amd64
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 -m 'Rebuild against GHC6 6.10.4'
>
> Someone already scheduled the binNMU.
me.
--
Martin Zobel-Helas <zobel@debian.org> | Debian System Administrator
Debian & GNU/Linux Developer | Debian Listmaster
Public key http://zobel.ftbfs.de/5d64f870.asc - KeyID: 5D64 F870
GPG Fingerprint: 5DB3 1301 375A A50F 07E7 302F 493E FB8E 5D64 F870
Reply to: