Dear Kook, > Je voulais tester (assez vite) le serveur, et j'ai voulu installer hop > sur debian (avec docker). > Après avoir ajouter la ligne du dépôt, et fait un apt-get update, j'ai > eu ce message d'erreur : > W: GPG error: ftp://ftp-sop.inria.fr squeeze Release: The following > signatures couldn't be verified because the public key is not available: > NO_PUBKEY 30CC50E43B4EC2E9 > > J'ai trouvé qu'il fallait lancer une commande avec gpg, mais je n'ai pas > trouvé le nom du serveur inria qui possède les clefs publiques. > > Est-ce que quelqu'un peut m'aider ? Currently, we only provide pre-compiled debian version of Hop for Raspberry. If this is the environment you are using, just ignore this warning for now as we do not publish key yet.
Cheers, -- Manuel
