-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 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' Regards, Iain -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (Darwin) iEYEARECAAYFAkqBXh8ACgkQPy0SnCC/zcewngCgo6OG+ppLskJixMpwWFKvCjuY KNIAoIaKlpJfA+YLKpEGLNLuOeriKrhR =nz9H -----END PGP SIGNATURE----- This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
