[macports-ports] branch master updated: z3-fstar: update to 4.12.3, add z3-fstar-legacy subport for 4.8.5

Landon Fuller landonf at macports.org
Fri Feb 28 00:08:28 UTC 2025

Previous message (by thread): [macports-ports] branch master updated: rust-analyzer: update to 2025-02-24
Next message (by thread): [macports-ports] branch master updated: aerc: update to 0.20.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20250228/6927e35a/attachment-0001.htm>

Previous message (by thread): [macports-ports] branch master updated: rust-analyzer: update to 2025-02-24
Next message (by thread): [macports-ports] branch master updated: aerc: update to 0.20.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list