Try re-enabling mpi-hs, #4068
Try re-enabling mpi-hs, #4068

mrkkrp/stackage,michalkonecny/stackage,massysett/stackage,fpco/stackage,peti/stackage,mstksg/stackage,stackbuilders/stackage,soenkehahn/stackage,clinty/stackage,Daniel-Diaz/stackage,fimad/stackage,ethercrow/stackage,iand675/stackage,spencerjanssen/stackage,athanclark/stackage,int-index/stackage,asr/stackage,simonmichael/stackage,jonschoning/stackage,wereHamster/stackage