On Mar 22, 2021, at 11:30, Murray Eisenberg wrote:
> I’m installing the non-MacPorts application coq “platform”, which uses
> various MacPorts ports and installs those not already installed through the
> usual MacPorts process.
Curious... I don't know that I've encountered any other software di
I’m installing the non-MacPorts application coq “platform”, which uses various
MacPorts ports and installs those not already installed through the usual
MacPorts process.
One of those it needs to install is gtk3, but that installation aborts because
it "failed to configure gtk3: gdk-pixbuf2 mus
