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

Sergey Fedorov vital.had at gmail.com
Mon Dec 18 21:57:18 UTC 2023

Previous message (by thread): [macports-ports] branch master updated: OpenBLAS-devel: update to 20231215; OpenBLAS*: fix build on PowerPC
Next message (by thread): [macports-ports] branch master updated: lxqt-build-tools: provide fallback version for old systems
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] branch master updated: OpenBLAS-devel: update to 20231215; OpenBLAS*: fix build on PowerPC
Next message (by thread): [macports-ports] branch master updated: lxqt-build-tools: provide fallback version for old systems
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list