Summary of changes: 0928797... First release (*) b0cd55a... vector currently needs ghci (*) b51319e... Merge commit 'b0cd55a6' into f18 (*) This commit already existed in another branch; no separate mail sent