[macports-ports] branch master updated: kube-linter: update to 0.2.3

Vadim-Valdis Yudaev judaew at outlook.de
Wed Aug 25 18:28:41 UTC 2021

Previous message (by thread): [macports-ports] branch master updated: z3(-fstar): use legacysupport for TARGET_OS_OSX
Next message (by thread): [macports-ports] branch master updated: z3: enable legacysupport.use_mp_libcxx for std::variant
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] branch master updated: z3(-fstar): use legacysupport for TARGET_OS_OSX
Next message (by thread): [macports-ports] branch master updated: z3: enable legacysupport.use_mp_libcxx for std::variant
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list