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


Reply via email to