[MacPorts] #69345: Lean: Update to Lean 4
MacPorts
noreply at macports.org
Thu Feb 15 15:24:12 UTC 2024
#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
More information about the macports-tickets
mailing list