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	4.6.0	extensions	4.5.x	fixed	z3