Recherche:

Mais de rien, ravi d'avoir pu aider. En contre partie, je ne demande qu'un petit clic sur le bouton :resolu: qui se trouve un peu plus bas.

Cdlt,

Je dirais que oui, mais seul un essai pourra nous faire savoir avec certitude ;)

Cela revient finalement au même (bien qu'avec apt-get tu sois plus sécurisé quant à la provenance du package). Mais pour faire court, rends toi à cette page pour télécharger le package debian d'OCaml...

Alors je te conseille vivement de passer par le système de package. Corrige moi si je me trompe, mais il me semble qu'il est toujours possible d'installer la 3.11. Bonne chance et bon développement.

Environnement ?