[MacPorts] #66163: gmp fails to destroot on macOS 13 Ventura (ARM64): file already exists

[MacPorts]

#66163: gmp fails to destroot on macOS 13 Ventura (ARM64): file already exists
------------------------+--------------------
  Reporter:  Zeta-0x00  |      Owner:  (none)
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.8.0
Resolution:             |   Keywords:
      Port:  gmp        |
------------------------+--------------------

Comment (by xroblot):

 I have a similar error and I was indeed trying to build gmp with
 +universal on a M1 MacBook Air.

-- 
Ticket URL: <https://trac.macports.org/ticket/66163#comment:3>
MacPorts <https://www.macports.org/>
Ports system for macOS