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 | Révision précédente Prochaine révision Les deux révisions suivantes | ||
caml_light [Le 05/10/2017, 14:17] L'Africain [Installation] |
caml_light [Le 02/05/2018, 17:31] fran.b [Installation] |
||
---|---|---|---|
Ligne 16: | Ligne 16: | ||
- | | ^ Trusty ^ Xenial ^ Zesty ^ Artful ^ | + | | ^ Trusty ^ Xenial ^ Zesty ^ Artful ^ Bionic ^ |
- | ^ 32 bits | [[http://boisson.homeip.net/depot/pool/trusty/i386/camllight_0.82-5_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/xenial/i386/camllight_0.82-6_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/zesty/i386/camllight_0.82-6.1_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/artful/i386/camllight_0.82-6.1_i386.deb | .deb ]]| | + | ^ 32 bits | [[http://boisson.homeip.net/depot/pool/trusty/i386/camllight_0.82-5_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/xenial/i386/camllight_0.82-6_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/zesty/i386/camllight_0.82-6.1_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/artful/i386/camllight_0.82-6.1_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/bionic/i386/camllight_0.82-6.1_i386.deb | .deb ]]| |
- | ^ 64 bits | [[http://boisson.homeip.net/depot/pool/trusty/amd64/camllight_0.82-5_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/xenial/amd64/camllight_0.82-6_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/zesty/amd64/camllight_0.82-6.1_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/zesty/amd64/camllight_0.82-6.1_amd64.deb | .deb ]]| | + | ^ 64 bits | [[http://boisson.homeip.net/depot/pool/trusty/amd64/camllight_0.82-5_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/xenial/amd64/camllight_0.82-6_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/zesty/amd64/camllight_0.82-6.1_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/artful/amd64/camllight_0.82-6.1_amd64.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/bionic/amd64/camllight_0.82-6.1_amd64.deb | .deb ]]| |
À 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 : |