Installation de Maxima 5.10.0-6 sur Debian Etch [Résolu]

Bonjour

J’ai essayé d’installer Maxima 5.10.0-6 avec Texmacs et je n’arrive pas à faire fonctionner ses deux programmes ensembles.

Je me suis contenté de faire un

En fait, j’obtiens ceci en lançant maxima en console :

/usr/lib/maxima/5.10.0/binary-gcl/maxima: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory
En désespoir de cause, j’ai installé gcl 2.6.7-32, mais j’obtiens toujours le même message en console.

Quelqu’un a-t-il réussi à faire fonctionner ce programme?

Je suis en 32 bits, avec le kernel 2.6.18-k7 avec KDE 3.5.5, sur un AMD Sempron™ Processor 3200+ avec une carte mère K9MM-V

Merci d’avance!

Bon, je me réponds à moi même:

En fait il fallait installer la librairie libgmp3c2 :

Merci le bug tracking de debian!!