Установка инструментов

Для начала установите Git и OCaml - например, в Ubuntu:

sudo apt-get install git ocaml

Затем установите менеджер пакетов OPAM согласно его официальной документации. Например, для установки в /usr/local/bin с помощью бинарного инсталлятора:

wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh 
chmod +x opam_installer.sh
sudo ./opam_installer.sh /usr/local/bin

Далее следуйте инструкции c wiki проекта:

https://forge.ispras.ru/projects/astraver/wiki