Opened 14 years ago
Last modified 13 years ago
#282 closed defect
Bad version for z3 — at Initial Version
| Reported by: | Mario Domenech Goulart | Owned by: | felix winkelmann |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | extensions | Version: | 4.5.x |
| Keywords: | z3 | Cc: | |
| Estimated difficulty: |
Description
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"?
Note: See
TracTickets for help on using
tickets.
