укусил пулю и переполз на qubes https://ygrek.org/p/qubes_notes.html

Нативный OCaml в телефоне - http://ygrek.org.ua/p/ocaml-termux.html Вообще termux очень удобная штука оказалось, легко устанавливается, куча пакетов с привычным софтом - ssh, git, rsync, итд. Даже gdb работает!