[ghc-case-insensitive/f16] (5 commits) ...update to 0.4.0.1 and cabal2spec-0.25.2

[Jens Petersen]

Summary of changes:

  66796dc... update to 0.3.0.1 (*)
  e2edb09... rebuild with new gmp (*)
  cd3e3b8... rebuild with new gmp without compat lib (*)
  bb4c89f... rebuild with new gmp without compat lib (*)
  04bad5e... update to 0.4.0.1 and cabal2spec-0.25.2 (*)

(*) This commit already existed in another branch; no separate mail sent