<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.30.3">
</HEAD>
<BODY>
<BR>
Dear Maintainers<BR>
<BR>
The debian package for ghc-7.0.2-3 for amd64 (and possibly ghc-7.0.2-4 for some other architectures) has a dependency error: it depends on libgmp-dev, but libgmp10-dev is meant.<BR>
<BR>
With kind regards<BR>
<BR>
Hans Peter
</BODY>
</HTML>