Bug#566145: nmu: agda-bin_2.2.6-1

[Iain Lane <laney@ubuntu.com>]

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