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(a)lrde.epita.fr