Установка:

Для установки libcvc3-5-java в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install libcvc3-5-java
Dzen
libcvc3-5-java — Связывание Java для CVC3 (библиотека байт-кода)

Подробная информация о пакете:

Связывание Java для CVC3 (библиотека байт-кода)

  • Зависимости:

  • libcvc3-5-jni

    Связывание Java для CVC3 (родная библиотека)