[MacPorts] #39832: gecode: update to 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         |
----------------------------+-----------------------

Comment (by brandon@…):

 I have attached a replacement diff that doesn't mangle $Id$. Please
 consider this maintainer approval.

 Thanks,

 Brandon

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