coqide (port coq) says: Xlib: extension "RANDR" missing on display ":0.0".

Dimitri Hendriks diem at
Thu Apr 23 01:26:37 PDT 2009

I thought I did that. Anyway, now I did port selfupdate and
port sync (what is the difference?) and only then port upgrade pango,
and this works! Now I have pango 1.24.1 and indeed the problems with
coqide disappeared.

Thanks again,

On 22 Apr 2009, at 19:51, Joshua Root wrote:

> Dimitri Hendriks wrote:
>> Hi Ryan,
>>> You should now have pango 1.24.1, yes?
>> No, I have 1.24.0. If "sudo port upgrade pango"
>> is not the right way to upgrade, then what is?
> Probably you need to selfupdate first.
> - Josh

More information about the macports-users mailing list