Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
caml_light [Le 02/05/2018, 17:27] 82.253.169.39 [Installation] |
caml_light [Le 02/05/2018, 17:31] 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 : |