id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
269	Maybe better message for minimum extension requirements	Mario Domenech Goulart		"The error message at http://tests.call-cc.org/2010/06/07/salmonella-report/mw-core.html is

{{{
Error: the required extension `""z3""' is older than 1.39, which is what this extension requires
}}}

The attached patch makes it look like

{{{
Error: the currently installed extension `""z3""' is older than 1.39, which is the minimum version that this extension requires
}}}

Does it sound better?  I guess so (that's why I'm filling this ticket), but maybe it's just me.  Feel free to ignore this patch or to improve it. Maybe the triple-quotes are too much.

Also, the error for mw-core looks weird, since it says that 1.40 is older than 1.39."	enhancement	closed	not urgent at all		core libraries	4.5.x	fixed	setup-api