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 ...