[Bug 1210522] ghc-chalmers-lava2000-1.5.1 is available