Исправление anonymous2, 27.05.23 04:56 (текущая версия) :
начни с простого sudo apt-get install libkrb5-dev
sudo apt-get install libkrb5-dev
Исходная версия anonymous2, 27.05.23 04:52: