<div class="gmail_quote">On Thu, May 7, 2009 at 9:40 PM, Jens Petersen <span dir="ltr"><<a href="mailto:petersen@redhat.com">petersen@redhat.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
Do we still really need still ghc-extralibs?  I thought the platform more or less replaces that. </blockquote><div><br>It does replace extralibs, yep. <br></div></div>