[macports-ports] 03/03: z3-fstar: depend on py-setuptools for build

barracuda156 vital.had at gmail.com
Mon Jun 10 13:43:01 UTC 2024


An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20240610/6e64952f/attachment.htm>


More information about the macports-changes mailing list