Your message dated Mon, 25 Jan 2010 19:46:02 +0100 with message-id <4B5DE6EA.9090407@debian.org> and subject line Re: Bug#566145: nmu: agda-bin_2.2.6-1 has caused the Debian Bug report #566145, regarding nmu: agda-bin_2.2.6-1 to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 566145: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=566145 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: nmu: agda-bin_2.2.6-1
- From: Iain Lane <laney@ubuntu.com>
- Date: Thu, 21 Jan 2010 16:10:08 +0000
- Message-id: <[🔎] 20100121161008.13271.29750.reportbug@chicken>
Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu Hiya, agda-bin needs a rebuild to pick up the new libghc6-agda-dev changes. I think this is right, my apologies if not. nmu agda-bin_2.2.6-1 . amd64 hppa i386 kfreebsd-i386 mips powerpc s390 sparc . -m "Rebuild against new libghc6-agda-dev 2.2.6-2" dw agda-bin_2.2.6-1 . alpha armel hurd-i386 ia64 kfreebsd-amd64 mips mipsel s390 sparc . -m 'libghc6-agda-dev (>= 2.2.6-2)' Regards, Iain -- System Information: Debian Release: squeeze/sid APT prefers lucid-updates APT policy: (500, 'lucid-updates'), (500, 'lucid-security'), (500, 'lucid') Architecture: amd64 (x86_64) Kernel: Linux 2.6.32-10-generic (SMP w/2 CPU cores) Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_GB.UTF-8) Shell: /bin/sh linked to /bin/dash
--- End Message ---
--- Begin Message ---
- To: 566145-done@bugs.debian.org
- Subject: Re: Bug#566145: nmu: agda-bin_2.2.6-1
- From: Luk Claes <luk@debian.org>
- Date: Mon, 25 Jan 2010 19:46:02 +0100
- Message-id: <4B5DE6EA.9090407@debian.org>
- In-reply-to: <[🔎] 20100121161008.13271.29750.reportbug@chicken>
- References: <[🔎] 20100121161008.13271.29750.reportbug@chicken>
Iain Lane wrote: > agda-bin needs a rebuild to pick up the new libghc6-agda-dev changes. I > think this is right, my apologies if not. > > nmu agda-bin_2.2.6-1 . amd64 hppa i386 kfreebsd-i386 mips powerpc s390 sparc . -m "Rebuild against new libghc6-agda-dev 2.2.6-2" > dw agda-bin_2.2.6-1 . alpha armel hurd-i386 ia64 kfreebsd-amd64 mips mipsel s390 sparc . -m 'libghc6-agda-dev (>= 2.2.6-2)' Scheduled. Cheers Luk
--- End Message ---