OpenMandriva Lx 4.2 releases: GNU/Linux distribution