Pour ma part,
l'option 2, installer eclipse et dépendances, depuis les sources
fournies sur eclipse.org.
Pour le pinning, cela peut effectivement, te fournir une version
d'eclipse plus récente,
mais cela n'est pas nécessairement celle qui te conviens le plus,
et surtout impliquer un impact important, sur l'ensemble du système,
pour satisfaire les dépendances, du paquet SID.
Voila les paquets eclipse disponible en ce moment :
apt-cache policy eclipse
Table de version :
3.7.0-1 0
994 http://ftp.fr.debian.org/debian/ sid/main amd64 Packages
3.5.2-6squeeze2 0
990 http://ftp.fr.debian.org/debian/ squeeze/main amd64 Packages
D'ailleurs j'en profite pour constater que la version "stable", fournie
par eclipse.org,
est actuellement la 3.7.1, et donc qu'une mise à jour du paquet pourrait
être faite dans Debian.
Cordialement,
--
Guillaume Seren
--
"Non seulement Dieu joue aux dés
mais il les jette parfois là où on ne peut les voir."
Stephen Hawking
--
FAQ : http://wiki.debian.org/fr/FrenchLists
