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,,