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

[Ryan Schmidt]

On Apr 23, 2009, at 03:26, Dimitri Hendriks wrote:

> 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.

port sync updates your ports.

port selfupdate updates your ports and your MacPorts base.