Merci à Julien Lemoine. Les packages debian pour codeboost et openc++-aterm fournit par Julien Lemoine ont été réparés suite à ma demande. Désormais, pour installer codeboost il suffit d'ajouter dans /etc/apt/sources.list les 2 lignes suivantes : deb http://debian.speedblue.org ./ deb-src http://debian.speedblue.org ./ puis de faire un apt-get install codeboost. voici les versions fournies: ii codeboost 0.3.0-1 ii openc++-aterm 2.6.1-3 -- Nicolas Desprès nicolas.despres@lrde.epita.fr