Your message dated Mon, 25 Jan 2010 19:46:02 +0100
with message-id <[email protected]>
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 [email protected]
immediately.)
--
566145: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=566145
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
User: [email protected]
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 ---
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 ---
