Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
caml_light [Le 02/05/2018, 17:27]
82.253.169.39 [Installation]
caml_light [Le 02/05/2018, 17:31] (Version actuelle)
fran.b [Installation]
Ligne 22: Ligne 22:
 À partir de la version 0.82-4 (nécessaire pour trusty), le passage à emacs24 a rendu nécessaire le mode tuareg d'​ocaml et donc l'​installation de ce mode dans une version dédiée fournie par le paquet [[http://​boisson.homeip.net/​depot/​pool/​trusty/​amd64/​camltuareg-mode_2.0.6-3_all.deb|camltuareg-mode]] (pour donc camllight version 0.82-4 et plus) À partir de la version 0.82-4 (nécessaire pour trusty), le passage à emacs24 a rendu nécessaire le mode tuareg d'​ocaml et donc l'​installation de ce mode dans une version dédiée fournie par le paquet [[http://​boisson.homeip.net/​depot/​pool/​trusty/​amd64/​camltuareg-mode_2.0.6-3_all.deb|camltuareg-mode]] (pour donc camllight version 0.82-4 et plus)
  
-Il peuvent aussi s'​installer par apt-get via le dépôt ​non signé ​suivant : FIXME+Il peuvent aussi s'​installer par apt-get via le dépôt suivant:
  
 <​file>​deb http://​boisson.homeip.net/​depot/​ trusty divers</​file>​ <​file>​deb http://​boisson.homeip.net/​depot/​ trusty divers</​file>​
 **NB :** Remplacez "​trusty",​ par la version que vous utilisez. **NB :** Remplacez "​trusty",​ par la version que vous utilisez.
  
-__La signature s'​obtient par__ +__La signature ​du dépot ​s'​obtient par__ 
 <​code>​gpg --keyserver pgpkeys.mit.edu --recv-key D78A5C23CEA8D8FF</​code> ​ <​code>​gpg --keyserver pgpkeys.mit.edu --recv-key D78A5C23CEA8D8FF</​code> ​
 qui récupère la clef sur le serveur de clef et : qui récupère la clef sur le serveur de clef et :
  • caml_light.txt
  • Dernière modification: Le 02/05/2018, 17:31
  • par fran.b