[macports-ports] branch master updated: lean: update to v3.42.1

kakuhen kakuhen at ucla.edu
Mon Apr 4 14:38:33 UTC 2022

Previous message (by thread): [macports-ports] branch master updated: Gildas: update to 202204a
Next message (by thread): [macports-ports] branch master updated: openjdk-distributions: move openjdk17-sap to its own Portfile
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20220404/4f03e51e/attachment.htm>

Previous message (by thread): [macports-ports] branch master updated: Gildas: update to 202204a
Next message (by thread): [macports-ports] branch master updated: openjdk-distributions: move openjdk17-sap to its own Portfile
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list