[Chicken-janitors] Re: #282: Bad version for z3

[Chicken Trac]

#282: Bad version for z3
-------------------------+--------------------------------------------------
  Reporter:  mario       |       Owner:  felix 
      Type:  defect      |      Status:  closed
  Priority:  major       |   Milestone:  4.6.0 
 Component:  extensions  |     Version:  4.5.x 
Resolution:  fixed       |    Keywords:  z3    
-------------------------+--------------------------------------------------
Changes (by felix):

  * status:  new => closed
  * resolution:  => fixed


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

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

--

Comment:

 Replying to [ticket:282 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.

-- 
Ticket URL: <http://www.irp.oist.jp/trac/chicken/ticket/282#comment:1>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.