* Christian Weisgerber [2005-06-02]: > math/coq ?
This is due to the ocaml update, anil was in contact with the maintainer about an update > net/gnet libtool? fixed in -current > net/psi ? fixed in a few minutes > www/galeon configure fixed in -current > x11/rep-gtk gtk fixed soon Nikolay
