[macports-ports] branch master updated: z3: Check z3.pgo_profile is properly set before using See: https://trac.macports.org/ticket/72155

Chris Jones jonesc at hep.phy.cam.ac.uk
Thu Mar 27 16:26:33 UTC 2025

Previous message (by thread): [macports-ports] branch master updated: logtalk: update to 3.90.1
Next message (by thread): [macports-ports] branch master updated: CI: never trigger mirroring on forks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] branch master updated: logtalk: update to 3.90.1
Next message (by thread): [macports-ports] branch master updated: CI: never trigger mirroring on forks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list