Właśnie zauważyłem, że brak przynajmniej kilku głównych pakietów w repozytorium, związanych z kernelem 4.14. kernel-4.14-ide-..... kernel-4.14-4.14.233-.... kernel-4.14-source-...... Pozdrawiam MK