On Thu, 2012-11-15 at 22:52 +0100, marco atzeri wrote: > solved both things and bumped the package. The -2 was already > discussed on the openmpi development list But the -3 .cygport still has RESTRICT="debuginfo strip". Yaakov