J'ai eu mono-completeet mono-develinstallé sur mon serveur Ubuntu 18.10 pendant quelques mois maintenant pour exécuter certaines applications qui en dépendent. J'utilise Mono 5.18.0.225. Avant de casser les choses, j'ai fait un standard sudo apt update, vu de nombreux packages mono dans la liste à...