[macports-ports] 02/03: z3: fix libomp flag

barracuda156 vital.had at gmail.com
Mon Jun 10 13:43:00 UTC 2024

Previous message (by thread): [macports-ports] 01/03: z3: update to 4.13.0
Next message (by thread): [macports-ports] 03/03: z3-fstar: depend on py-setuptools for build
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] 01/03: z3: update to 4.13.0
Next message (by thread): [macports-ports] 03/03: z3-fstar: depend on py-setuptools for build
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list