Il est pas dispo le 4.2.0 ?
non. http://people.debian.org/~branden/
Pas en .deb, mais l'install a partir des binaires se fait sans pb...