[macports-ports] branch master updated: z3: update to 4.12.2

Chris Jones jonesc at hep.phy.cam.ac.uk
Tue Jun 13 10:41:47 UTC 2023

Previous message (by thread): [macports-ports] branch master updated: meson: update to 1.1.1
Next message (by thread): [macports-ports] branch master updated: libomp: update to 16.0.5
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] branch master updated: meson: update to 1.1.1
Next message (by thread): [macports-ports] branch master updated: libomp: update to 16.0.5
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list