Установка:
Для установки libghc-ieee754-dev в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install libghc-ieee754-dev
Подробная информация о пакете:
Утилиты для работы с номерами с плавающей запятой IEEE