Package: release.debian.org Severity: normal User: release.debian....@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 -- To UNSUBSCRIBE, email to debian-release-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
