Я хотел бы задать вопрос об ошибке установки, которая появляется при попытке установить программное обеспечение xcas в Ubuntu 18.04. Хотя мне удалось установить программное обеспечение иными способами, чем те, которые описаны ниже в этом посте, я все же хотел бы задать несколько вопросов об ошибках и связанных с ними темах.
Итак, в загрузках в разделе Linux debian / ubuntu на веб-странице xcas написано
Другое : введите команду sudo add-apt-repository "deb http://www-fourier.univ-grenoble-alpes.fr/~parisse/debian/ stable main". [...] Затем запустите sudo apt-get update. Теперь вы можете установить или обновить программу, выполнив sudo apt-get install giac python-giacpy.
Я следовал инструкциям и получил эту ошибку от apt-get:
The following packages have unmet dependencies.
giac : Depends: libmpfr4 (>= 3.1.0) but it is not installable
Как ни странно, у меня есть mpfr установлено и обновлено: я могу напечатать версию mpfr с помощью программы на C ++, содержащей строку
cout << MPFR_VERSION_STRING << endl;
и вывод 4.0.1.
Поскольку у меня версия mpfr новее, чем 3.1.0, я не должен получить эту ошибку, верно? Итак, почему я получаю эту ошибку? Может ли быть что-то не так с установкой пакетов в моей системе? Может быть, mpfr был установлен неправильно? (он был установлен из источников, следуя инструкциям разработчиков).
Спасибо.