Summary

Bad version for z3

Metadata

• Id: 2704c686a85dd1bd352db37bf44002c6309b9b3b
• Trac id: 282
• Type: defect
• Reporter: mario
• Owner: felix
• Cc:
• Status: closed
• Component: extensions
• Estimated difficulty:
• Resolution: fixed
• Priority: major
• Milestone:
• Version: 4.5.x
• Changetime: 2011-04-04 08:31:00 UTC
• Created: 2010-07-13 15:33:06 UTC
• Keywords: z3

Description

The setup file for z3 1.40 declares its version as

 
 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"}}}?

Changes and comments

[2010-07-16 08:12:04 UTC] felix changed status from new to closed

[2010-07-16 08:12:04 UTC] felix set resolution to fixed

[2010-07-16 08:12:04 UTC] felix changed description

[2010-07-16 08:12:04 UTC] felix wrote:

Replying to mario: > 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"?

Indeed. Thanks for mentioning this.

[2011-04-04 08:31:00 UTC] felix removed milestone 4.6.0

[2011-04-04 08:31:00 UTC] felix wrote:

Milestone 4.6.0 deleted