[Hackage] #771: Package registered twice in the same database