На сайте разработчика https://developer.android.com/studio есть дистрибутив только в виде исходников
Kotlin есть в репозитории https://packages.altlinux.org/ru/search/?branch=p10&q=kotlin
Он только в 10й версии есть?