Hi, a patch to fix bug #554069 in stable is in: http://homepages.dcc.ufmg.br/~marco/64fix.patch If you have any comments on the patch, please mail me, since I'm not subscribed to debian-release. It should be mentioned that this bug only affects 64 bits architectures and stable, since this is fixed in the newer versions of GHC present in testing and sid. Greetings. -- marcot http://marcot.iaaeee.org/