[Bug 1111823] ghc-chalmers-lava2000-1.4.1 is available