Hi, now that hackage2 is in use and officially on github, you might want to replace this repo by a fork of the official one, to avoid confusion. Thanks, Joachim