id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 282 Bad version for z3 Mario Domenech Goulart felix winkelmann "The setup file for z3 1.40 declares its version as {{{(version 1.4)}}} I suspect that's what's causing the error for mw-core: http://tests.call-cc.org/2010/07/13/salmonella-report/mw-core.html Shouldn't the version be {{{""1.40""}}}? " defect closed major extensions 4.5.x fixed z3