Мне нужна конкретная версия ядра. Как мне получить соответствующий ISO-образ Debian?

Похоже, вы загрузили файл .html вместо файла .repo , что неверно.

Удалите файл /etc/yum.repos.d/bintray-sbt-rpm.repo , в любом случае он бесполезен, и попробуйте загрузить bintray-sbt-rpm.repo снова оттуда, откуда вы это взяли.
Прежде чем копировать его в /etc/yum.repos.d , взгляните на этот файл и сравните его с другими файлами в этом каталоге, чтобы убедиться, что синтаксис верен. .