Parece que o pacote mais recente disponível no PPA é de confiança e o último lançamento foi 2.10.1 em 28 de agosto de 2014. Portanto, parece que suas opções são fazer downgrade para 14.04 e usar o pacote deb disponível ou aproveitar do que está atualmente disponível baixando o código-fonte e compilando-o após modificar como sugerido no tarball para corresponder ao seu sistema.
-
Biblioteca ML de Moscou documentação
-
Os arquivos de origem podem ser baixados em aqui
De acordo com as informações do tarball, você pode instalá-lo da seguinte maneira:
(1) Para uma instalação pessoal, vá para o seu diretório pessoal e descompacte a distribuição ML de Moscou usando
'gzip -dc linux-mos20bin.tar.gz | tar xfv -'
Isso criará um diretório ~ / mosml com os seguintes subdiretórios e arquivos notáveis
mosml/ readme, install.txt
bin/ mosml, mosmlc, mosmllex, mosmlyac, camlrunm,
copyrght/ copyright notices
doc/ manual.pdf, mosmlref.pdf, mosmllib.pdf, ...
mosmllib/ HTML-documentation of the Moscow ML library
examples/ a few example programs
lib/ bytecode files, basis library units,
and the dynamically loadable libraries
tools/ mosmldep, Makefile.stub
(2) Edite as variáveis stdlib e mosmlbin nos scripts
mosml / bin / mosml & amp; mosml / bin / mosmlc & amp; mosml / bin / mosmllex para corresponder ao seu sistema (você pode encontrar find útil para esta etapa.
Nota: Eu não testei isso neste momento, mas presumo que isso fará com que você se mova na direção certa. Se você ficar preso, deixe-nos saber exatamente o que deu errado e tentaremos ajudá-lo a resolver o problema específico que você encontrou.