Установка:

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

sudo apt update
sudo apt install libmono-codecontracts4.0-cil
libmono-codecontracts4.0-cil — Библиотека Mono.CodeContracts (для CLI 4.0)

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

Библиотека Mono.CodeContracts (для CLI 4.0)