[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Chicken-janitors] #282: Bad version for z3
From: |
Chicken Trac |
Subject: |
[Chicken-janitors] #282: Bad version for z3 |
Date: |
Tue, 13 Jul 2010 13:33:06 -0000 |
#282: Bad version for z3
------------------------+---------------------------------------------------
Reporter: mario | Owner: felix
Type: defect | Status: new
Priority: major | Milestone: 4.6.0
Component: extensions | Version: 4.5.x
Keywords: z3 |
------------------------+---------------------------------------------------
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"}}}?
--
Ticket URL: <http://www.irp.oist.jp/trac/chicken/ticket/282>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.
- [Chicken-janitors] #282: Bad version for z3,
Chicken Trac <=