SoftEleves fournit quelques packages debian. Pour cela, il faut ajouter 
deb http://ensl.free.fr/softeleves/debian unstable main
deb-src http://ensl.free.fr/softeleves/debian unstable main
dans son /etc/apt/sources.list
Dernière modification : 22/10/2003.