#282 closed defect (fixed)
Bad version for z3
Reported by: | Mario Domenech Goulart | Owned by: | felix winkelmann |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | extensions | Version: | 4.5.x |
Keywords: | z3 | Cc: | |
Estimated difficulty: |
Description (last modified by )
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"
?
Change History (2)
comment:1 Changed 14 years ago by
Description: | modified (diff) |
---|---|
Resolution: | → fixed |
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Replying to mario:
Indeed. Thanks for mentioning this.