[macports-ports] 01/02: z3: update to 4.8.14

Chris Jones jonesc at hep.phy.cam.ac.uk
Mon Jan 3 11:52:32 UTC 2022

Previous message (by thread): [macports-ports] branch master updated (239026ba98a -> e871f271847)
Next message (by thread): [macports-ports] 02/02: z3: Use python 3.10 as build dep, add py310-z3 subport
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] branch master updated (239026ba98a -> e871f271847)
Next message (by thread): [macports-ports] 02/02: z3: Use python 3.10 as build dep, add py310-z3 subport
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list