[MacPorts] #69345: Lean: Update to Lean 4

[MacPorts]

#69345: Lean: Update to Lean 4
-----------------------+--------------------
  Reporter:  szhorvat  |      Owner:  (none)
      Type:  update    |     Status:  new
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:
Resolution:            |   Keywords:
      Port:  lean      |
-----------------------+--------------------
Changes (by szhorvat):

 * type:  defect => update


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