[macports-ports] branch master updated: boolector: fix build on <10.11 Fixes: https://trac.macports.org/ticket/66609

Sergey Fedorov vital.had at gmail.com
Sat Jan 7 08:27:23 UTC 2023


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


More information about the macports-changes mailing list