> It does. I have a cvs co as of yesterday and what I did was remove
> /usr/lib/lib{gtk,gnome}ada* /usr/include/gtkada
> /usr/bin/{gate,generate.pl,gtkada-config}
So in this case you need to send a bug report, with full details to reproduce
the problem ;-)
Arno