The Coq mailing list

["Nickolay V. Shmyrev" <nshmyrev AT yandex.ru>]

В Пнд, 13/11/2006 в 11:15 +0100, aziz 79 пишет:
> Bonjour
> 
> Après avoir installer Coq, Je voulais installer CoqIde sur RedHat mais je 
> n'arrive à le faire fonctionner l'IDE. Le message d'erreur qu'il m'affiche
> 
> Undefined symbol: gtk_color_button_get type
> 
> Pourtant le package gtk est bien installé et Gtk-demo  fonctionne 
> parfaitement.
> 
> Merci d'avance
> Cordialement

CoQ rpm package requires gtk 2.4 dependency and you need to upgrade your
gtk2 to version 2.4. For older Redhat's like 7.3 it's probably easier to
compile gtk2 from source rpm, but if it's newer you can try to search
package on network.

Attachment: signature.asc
Description: üÔÁ ÞÁÓÔØ ÓÏÏÂÝÅÎÉÑ ÐÏÄÐÉÓÁÎÁ ÃÉÆÒÏ×ÏÊ ÐÏÄÐÉÓØÀ