» Mono/CLI

Как установить libboogie-cil в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install libboogie-cil
Dzen
libboogie-cil — поддающийся проверке язык программирования (библиотека)

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

Поддающийся проверке язык программирования (библиотека)

http://research.microsoft.com/en-us/projects/boogie/
Источник: packages.ubuntu.com