logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 23-03-2014 21:29:16

fran.b
Membre
Inscription : 02-01-2012

[packaging] camllight

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/Camllight

les 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.

Hors ligne

Pied de page des forums