#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 15 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.