[macports-ports] branch master updated: z3(-fstar): use legacysupport for TARGET_OS_OSX

Landon Fuller landonf at macports.org
Wed Aug 25 17:11:28 UTC 2021

Previous message (by thread): [macports-ports] 04/04: everparse: update to 20210727-d61b5af
Next message (by thread): [macports-ports] branch master updated: kube-linter: update to 0.2.3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] 04/04: everparse: update to 20210727-d61b5af
Next message (by thread): [macports-ports] branch master updated: kube-linter: update to 0.2.3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list