> On Sep 14, 2020, at 8:43 PM, Yozo TODA <y...@v007.vaio.ne.jp> wrote: > > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA512 > >> We now include coqc in both PFRAG.no-native and PFRAG.native which seems a >> bit unusual to me. >> >> Are you sure this change is correct? > > ah sorry, I should add more explanation.
Thanks! I’ve committed your diff except for the PLIST changes. Took me a few days as I wanted to confirm it all on powerpc and my powerpc box is not fast. Hopefully this will now fix both the packaging problem and the core dumps seen in recent !native bulk builds...
