# \[Résolu\]installation d'ocaml 3.10.0.13 **URL:** \ **Category:** Programmation\ **Created:** [Février 20, 2016, 5:09 UTC](https://www.debian-fr.org/t/resolu-installation-docaml-3-10-0-13/12199 "2016-02-20T17:09:36Z")\ **Posts on this page:** 6\ **Page:** 1
**Author:** ![Hoshin](https://www.debian-fr.org/user_avatar/www.debian-fr.org/hoshin/32/3672_2.png) [@Hoshin](https://www.debian-fr.org/u/Hoshin)\ **Post date:** [Février 20, 2016, 5:09 UTC](https://www.debian-fr.org/t/resolu-installation-docaml-3-10-0-13/12199/1 "2016-02-20T17:09:36Z")
Bon je poste ici parceque je commence à m’ennerver derrière mon écran pour une connerie : Pour le projet de M1 que j’ai à faire, je dois, entre autres, installer ocaml, ocsigen et surtout quelques librairies qui n’ont pour le moment pas été packagées pour la dernière version d’ocaml (la 3.10.1) comme xml light entre autres. J’ai donc essayé de réinstaller tout mon bazar en 3.10.0.et\_des\_brouettes d’un côté avec synaptic en tentant de “forcer la version” (ce qui ne marche pas) et avec l’option -t d’apt, qui ne marche pas mieux : je me retrouve invariablement avec la toute dernière version d’ocaml (ce qui normalement devrait me faire plaisir mais la pas trop parcequ’en attendant je ne peux même pas compiler le travail deja effectué …). Je dois pouvoir installer toutes les libs depuis les sources “à la hussarde” mais tant qu’à faire je préférerais faire un truc presque propre et surtout comprendre pourquoi je n’arrive pas a installer cette rogntidju de 3.10.0. En l’état j’ai le sources.list et le preferences fourni par matt du topic “votre sources.list au carré” pour sid. Vu qu’utiliser apt/synaptic ne donne rien je pense devoir créer une nouvelle règle dans le fichier preferences mais bon la comme je suis sur une machine de travail j’y vais précautionneusement (et surtout j’aurais besoin d’un cours sur les priorités dans le fichier de prefs pour être sur de pas faire nawak)… A vot’ bon coeur m’sieur’ dammes ! ---
**Author:** ![mattotop](https://www.debian-fr.org/user_avatar/www.debian-fr.org/mattotop/32/3942_2.png) [@mattotop](https://www.debian-fr.org/u/mattotop)\ **Post date:** [Février 20, 2016, 5:09 UTC](https://www.debian-fr.org/t/resolu-installation-docaml-3-10-0-13/12199/2 "2016-02-20T17:09:37Z")
ben tu as essayé de faire un aptitude hold ocaml=3.10.0-13 ? Je n’ai jamais utilisé le hold, mais aprés, théoriquement, la version est verrouillée quoi que tu fasse. ---
**Author:** ![Hoshin](https://www.debian-fr.org/user_avatar/www.debian-fr.org/hoshin/32/3672_2.png) [@Hoshin](https://www.debian-fr.org/u/Hoshin)\ **Post date:** [Février 20, 2016, 5:09 UTC](https://www.debian-fr.org/t/resolu-installation-docaml-3-10-0-13/12199/3 "2016-02-20T17:09:37Z")
j’avais tenter de bloquer la version d’ocaml avec synaptic mais il m’avait envoyé ballader … en même temps comme les 3/4 du temps j’utilise apt pour faire des mises à jour j’ai pas trop l’habitude de synaptic et j’ai ptet fait une mauvaise manip’. En tout cas je vais tenter avec aptitude pour voir. Merci pour le conseil matt en tout cas =). ---
**Author:** ![Hoshin](https://www.debian-fr.org/user_avatar/www.debian-fr.org/hoshin/32/3672_2.png) [@Hoshin](https://www.debian-fr.org/u/Hoshin)\ **Post date:** [Février 20, 2016, 5:09 UTC](https://www.debian-fr.org/t/resolu-installation-docaml-3-10-0-13/12199/4 "2016-02-20T17:09:39Z")
Petite réponse rapide avant de partir pour la fac : le “hold” me propose gentiment d’enlever une centaine de paquets donc comme j’ai besoin de ma machine ce matin la tentative attendra ce soir histoire de pas faire n’imp’ tout de suite. Edit : je viens de refaire une tentative en ayant changé un truc avant de partir, j’avais pas vu les premières fois mais en fait aptitude me couine dessus avec le hold, on ne peut pas utiliser de version avec hold apparament, seulement pour install et une option de blacklisting je crois. J’ai donc rapido fait un test avec install et aptitude me dit qu’il devra basculer certains paquets ocaml “trop récents” en 3.10.0-13 et tout et tout. Donc ca c’est le bon point. Par contre il me parle toujours de 100 paquets “plus nécessaires” m’enfin la dernière fois que j’ai balancé plus de 2 ou 3 paquets “plus nécessaires” d’un coup j’ai perdu pas mal de trucs donc je vais jeter un oeil à ce qu’il veut enlever. Tant qu’à faire voila comment il couine aptitude pour l’instant. > [@](#): > > Les paquets suivants sont CASSÉS : > ocaml > Les paquets suivants ont été conservés : > ardour > Les paquets suivants seront ENLEVÉS : > bug-buddy{u} camlp4{u} dhcdbd{u} ekiga{u} eog{u} esound{u} > fast-user-switch-applet{u} file-roller{u} gcalctool{u} gconf-editor{u} > gdb{u} gdm{u} gedit{u} gedit-common{u} gnome-backgrounds{u} > gnome-cards-data{u} gnome-games{u} gnome-games-data{u} > gnome-keyring-manager{u} gnome-nettool{u} gnome-system-tools{u} > gnome-themes{u} gs-common{u} gtk2-engines{u} > gtk2-engines-spherecrystal{u} gtkhtml3.8{u} gucharmap{u} > industrial-cursor-theme{u} iputils-arping{u} libavahi-core4{u} > libavcodec0d{u} libcamel1.2-8{u} libcdio6{u} libdirectfb-0.9-25{u} > libdmx1{u} libebook1.2-5{u} libecal1.2-6{u} libedata-cal1.2-5{u} > libedataserver1.2-7{u} libedataserverui1.2-6{u} libeel2-2.14{u} > libegroupwise1.2-10{u} libexchange-storage1.2-1{u} libflac7{u} > libgail17{u} libgcj7-0{u} libgda2-3{u} libgda2-common{u} > libgdl-1-common{u} libgksu1.2-0{u} libgksuui1.0-1{u} libgnomevfs2-bin{u} > libgpod0{u} libgtkhtml3.8-15{u} libgucharmap4{u} libgutenprintui2-1{u} > libicu36{u} libiw28{u} libjasper-1.701-1{u} libmdbtools{u} > libmyspell3c2{u} libnautilus-burn3{u} libneon25{u} libnm-util0{u} > libnss3-0d{u} libpci2{u} libpcre3-dev{u} libpisync0{u} libpoppler0c2{u} > libpoppler0c2-glib{u} libportaudio0{u} libpostproc0d{u} libpq4{u} > libservlet2.3-java{u} libsnmp9{u} libstlport4.6c2{u} > libtotem-plparser1{u} libwnck18{u} libxklavier10{u} libxt-java{u} > liferea-xulrunner{u} manpages-fr-dev{u} manpages-fr-extra{u} mkisofs{u} > nautilus-data{u} ocaml-base{u} ocaml-base-nox{u} ocaml-interp{u} > ocaml-nox{u} python-qt3{u} python-sip4{u} python-xdg{u} type-handling{u} > vino{u} zenity{u} zip{u} > 0 paquets mis à jour, 0 nouvellement installés, 1 remis à une version antérieure, 96 à enlever et 1 non mis à jour. > Il est nécessaire de télécharger 2119ko d’archives. Après dépaquetage, 355Mo seront libérés. > Les paquets suivants ont des dépendances non satisfaites : > ocaml: Dépend: ocaml-base (= 3.10.0-13) mais il n’est pas installable > Dépend: ocaml-base-3.10.0 qui est un paquet virtuel > Dépend: ocaml-nox-3.10.0 qui est un paquet virtuel > Résolution des dépendances… > Les actions suivantes permettront de résoudre ces dépendances : > > Réinstaller à une version antérieure les paquets suivants : > camlp4 [3.10.1-1 (unstable, now) -\> 3.10.0-13 (testing)] > ocaml-base [3.10.1-1 (unstable, now) -\> 3.10.0-13 (testing)] > ocaml-base-nox [3.10.1-1 (unstable, now) -\> 3.10.0-13 (testing)] > ocaml-interp [3.10.1-1 (unstable, now) -\> 3.10.0-13 (testing)] > ocaml-nox [3.10.1-1 (unstable, now) -\> 3.10.0-13 (testing)] > > Le score est de 205 Bonne lecture aux intéressés ^^. ---
**Author:** ![Hoshin](https://www.debian-fr.org/user_avatar/www.debian-fr.org/hoshin/32/3672_2.png) [@Hoshin](https://www.debian-fr.org/u/Hoshin)\ **Post date:** [Février 20, 2016, 5:09 UTC](https://www.debian-fr.org/t/resolu-installation-docaml-3-10-0-13/12199/5 "2016-02-20T17:09:49Z")
Dernière mise à jour : j’ai repompé le sources.list et le preferences depuis le fil dédié du fofo et aptitude me couine plus dessus avec des problèmes de paquets … j’étais persuadé de les avoir mis à jour mais j’ai du le faire sur une autre machine… Pour l’instant je galère pour installer les trucs en plus dont j’ai besoin mais bon ocaml est de la bonne version c’est deja pas si mal. ---
**Author:** ![Hoshin](https://www.debian-fr.org/user_avatar/www.debian-fr.org/hoshin/32/3672_2.png) [@Hoshin](https://www.debian-fr.org/u/Hoshin)\ **Post date:** [Février 20, 2016, 5:11 UTC](https://www.debian-fr.org/t/resolu-installation-docaml-3-10-0-13/12199/6 "2016-02-20T17:11:10Z")
Tout dernier message avant de passer le fil en “résolu” : Aptitude m’a permis de faire mes installs comme je le souhaitais, j’ai donc pu, avec quelques précautions, installer ce qui m’intéressait dans la version dont j’avais besoin en attendant que les packagers Debian sortent les versions 3.10.1 des trucs dont j’ai besoin =). Yapuka se metre a coder. Merci encore matt.