I have in use the kernel 4.4.0-185. In the sources list I have the following:
# deb cdrom:[Trisquel 8.0 _flidas_ - Release amd64 (20180417)]/ flidas main
# Trisquel repositories for supported software and updates
deb https://archive.trisquel.info/trisquel/ flidas main
deb https://archive.trisquel.info/trisquel/ flidas-security main
deb https://archive.trisquel.info/trisquel/ flidas-updates main
deb https://archive.trisquel.info/trisquel/ flidas-backports main
# deb-src http://mirrors.serverhost.ro/trisquel/packages flidas-backports
main
The output of `apt list --upgradeable` is nil
