Ubuntu
ghc package

  1. Bug #1085612
  2. Comment #3

Comment 3 for bug 1085612

Revision history for this message
Gianfranco Costamagna (costamagnagianfranco) wrote :

Hi Michal, do you think this patch is still needed?