open-axiom from Education project
Выберите операционную систему
Добавить репозиторий и установить вручную
Для openSUSE Tumbleweed запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/Education/openSUSE_Tumbleweed/Education.repo zypper refresh zypper install open-axiom
Получить бинарные пакеты напрямую
Добавить репозиторий и установить вручную
Для SLE 11 SP4 запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/Education/SLE_11_SP4/Education.repo zypper refresh zypper install open-axiom