Установка:
Для установки libaac-tactics-ocaml в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install libaac-tactics-ocaml
Для установки libaac-tactics-ocaml в Ubuntu / Linux Mint / Debian, введите в Терминал: