[MacPorts] #39832: gecode: update to 4.2.0

Mon Sep 2 05:32:24 PDT 2013

#39832: gecode: update to 4.2.0
----------------------------+---------------------------------
  Reporter:  l.digaspero@…  |      Owner:  brandon@…
      Type:  update         |     Status:  closed
  Priority:  Normal         |  Milestone:
 Component:  ports          |    Version:
Resolution:  fixed          |   Keywords:  haspatch maintainer
      Port:  gecode         |
----------------------------+---------------------------------
Changes (by cal@…):

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


Comment:

 Thanks, r110576.

-- 
Ticket URL: <https://trac.macports.org/ticket/39832#comment:5>
MacPorts <http://www.macports.org/>
Ports system for OS X