[macports-ports] 02/02: z3: update to 4.8.15

Chris Jones jonesc at hep.phy.cam.ac.uk
Wed Mar 30 13:15:01 UTC 2022

Previous message (by thread): [macports-ports] 01/02: davix: update to 0_8_1
Next message (by thread): [macports-ports] branch master updated: vala/vala-devel: enable tests See: https://trac.macports.org/ticket/62627
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] 01/02: davix: update to 0_8_1
Next message (by thread): [macports-ports] branch master updated: vala/vala-devel: enable tests See: https://trac.macports.org/ticket/62627
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list