Je gère le paquet camllight sur un dépot personnel
camllight est le langage utilisé pour l'option Info dans les prépas MPSI/MP/MP*, il est laissé en stand by par l'INRIA mais ils m'ont donné l'accès au cvs.
Les sources sont également disponibles ici:
https://github.com/FBoisson/Camllightles paquets sont sur
dépot signé dont la clef peut être trouvé par
gpg --keyserver pgpkeys.mit.edu --recv-key D78A5C23CEA8D8FF
qui récupère la clef sur le serveur de clef et
gpg -a --export D78A5C23CEA8D8FF > /tmp/clef.txt
puis sous root
apt-key add /tmp/clef.txt
camllight est disponible de woody à wheezy (et également sous ubuntu).
Merci de signaler tout souci.