Ok, parece que o pacote ocaml
estava em alguma outra fonte além das duas linhas que eu adicionei.
Por fim, peguei o arquivo /etc/apt/sources.list
original e anexei-o ao mesmo arquivo, mas com yakkety
substituído por precise
. Depois disso, e sudo apt update
, consegui instalar ocaml=3.12\*
.
Eu ainda precisava instalar outros pacotes antes ( ocaml-nox=3.12\*
, que por sua vez exigia ocaml-base-nox=3.12\*
, etc, etc), mas acabei instalando-o.
Eu ainda assumo que deve haver uma maneira mais fácil embora ...