Andrea Vezzosi wrote: > Which version of Cabal are you using? > It should be fixed with Cabal-1.6.0.2, check cabal --version to make > sure it's not using an older one. You're absolutely right. Thanks! Martijn.