[macports-ports] branch master updated: z3: new port

Landon Fuller landonf at users.noreply.github.com
Wed Sep 25 16:40:49 UTC 2019

Previous message: [macports-ports] branch master updated: wireshark3: new upstream 3.0.5 release.
Next message: [macports-ports] branch master updated: z3: drop polly from default_variants; the required polly variant is not currently enabled in llvm-8.0 by default
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20190925/874284f4/attachment-0001.html>

Previous message: [macports-ports] branch master updated: wireshark3: new upstream 3.0.5 release.
Next message: [macports-ports] branch master updated: z3: drop polly from default_variants; the required polly variant is not currently enabled in llvm-8.0 by default
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list