> On 29 Feb 2020, at 15:10, Hendrik Boom <hendrik@???> wrote:
>
> Does Devuan have an already packaged implementation of kotlin?
> I looked in aptitude, but maybe I haven't guessed the right name
> for the package.
>
> -- hendrik

You could try sdkman. I’ve not used it before, but it does list kotlin as supported.

https://sdkman.io

There also looks like a GSoC attempt at packaging for debian.

https://wiki.debian.org/GSoC2019Kotlin