[MacPorts] #39832: gecode: update to 4.2.0 (was: Unified diff for gecode 4.2.0)

[MacPorts]

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

 * owner:  macports-tickets@… => brandon@…
 * keywords:  update 4.2.0 => haspatch
 * type:  enhancement => update


Comment:

 Thanks. However in future please don't modify the `$Id$` line. Also do
 remember to Cc the port's maintainer.

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